R-CALCULUS: A Logic of Belief Revision
Häftad, Engelska, 2022
1 369 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
Finns i fler format (1)
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).
Produktinformation
- Utgivningsdatum2022-11-03
- Mått155 x 235 x undefined mm
- FormatHäftad
- SpråkEngelska
- SeriePerspectives in Formal Induction, Revision and Evolution
- Antal sidor200
- FörlagSpringer Verlag, Singapore
- ISBN9789811629464