Capa

R-CALCULUS, IV IBD

SPRINGER
03 / 2023
9789811986345
Inglês

Sinopse

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..áApplications of R-calculus in logic of supersequentsáare also given. This book offers a rich blend of theory and practice. It is suitable for students, researchers and practitioners in the field of logic.á