R-calculus: a logic of belief revision
Auteur :
Li, Wei / Sui, Yuefei
Éditeur :
Springer Verlag, Singapore
ISBN :
9789811629464
Date de publication :
3 nov. 2022
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Singapour
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).