General Book Search for "9789811629464"

R-CALCULUS: A Logic of Belief Revision

Paperback
Published : Thursday 3 November 2022
ISBN : 9789811629464
Price : €105.29


Description

It extends R-calculus from first-order logic to propositional logic, description logics, modal logic and logic programming, and from minimal change semantics to subset minimal change, pseudo-subformula minimal change and deduction-based minimal change (the last two minimal changes are newly defined).



You may also like ...

Product

R-Calculus, IV: Propositional Logic

Paperback
30 Mar 2024
Mathematical foundations

€175.49

Extended stock – Dispatch 5-7 days
Product

R-Calculus, III: Post Three-Valued Logic

Paperback
21 Nov 2023
Mathematical foundations

€163.79

Extended stock – Dispatch 5-7 days
Product

R-Calculus, II: Many-Valued Logics

Paperback
15 Apr 2023
Mathematical foundations

€152.09

Extended stock – Dispatch 5-7 days
Product

R-Calculus, IV: Propositional Logic

Hardback
29 Mar 2023
Mathematical logic

€175.49

Extended stock – Dispatch 5-7 days

Reviews