R-calculus, iv: propositional logic
Auteur :
Li, Wei / Sui, Yuefei
Éditeur :
Springer Verlag, Singapore
ISBN :
9789811986321
Date de publication :
29 mars 2023
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Singapour
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-valued logic, etc..