R-Calculus, IV: Propositional Logic
This fourth volume of the book series combines propositional logic and R-calculus for a new point of view to consider belief revision. It gives the R-calculi for propositional logic, description logics, propositional modal logic, logic programming, ⇝-propositional logic, semantic networks, and three...
Saved in:
| Main Authors: | , |
|---|---|
| Institution som forfatter: | |
| Format: | Electronisk eBog |
| Sprog: | engelsk |
| Udgivet: |
Singapore :
Springer Nature Singapore : Imprint: Springer,
2023.
|
| Udgivelse: | 1st ed. 2023. |
| Serier: | Perspectives in Formal Induction, Revision and Evolution,
|
| Fag: | |
| Online adgang: | https://doi.org/10.1007/978-981-19-8633-8 |
| Tags: |
Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!
|
System Under Maintenance
Our Library Management System is currently under maintenance.
Holdings and item availability information is currently unavailable. Please accept our apologies for any inconvenience this may cause and contact us for further assistance: