R-Calculi for Propositional Logic
-
Published:2021
Issue:
Volume:
Page:29-55
-
ISSN:2731-3689
-
Container-title:Perspectives in Formal Induction, Revision and Evolution
-
language:
-
Short-container-title:
Author:
Li Wei,Sui Yuefei
Publisher
Springer Singapore
Reference11 articles.
1. C.E. Alchourrón, P. Gärdenfors, D. Makinson, On the logic of theory change: partial meet contraction and revision functions. J. Symb. Logic 50, 510–530 (1985)
2. S.O. Hansson, A Textbook of Belief Dynamics, Theory Change and Database Updating (Kluwer, Dordrecht, 1999)
3. S.O. Hansson, Ten philosophical problems in belief revision. J. Logic Comput. 13, 37–49 (2003)
4. H. Katsuno, A.O. Mendelzon, Propositional knowledge base revision and minimal change. Artif. Intell. 52, 263–294 (1991)
5. W. Li, Y. Sui, The R-calculus based-on addition instead of cancelation. To appear in Frontier in Computer Science