Analytic tableau systems for propositional bimodal logics of knowledge and belief

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2381 LNAI, Issue , 2002, Pages 206-220

  Nguyen, Linh Anh ^a  

^a UNIVERSITY OF WARSAW   (Poland)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

BIMODAL LOGIC; DECISION PROCEDURE; MODAL LOGIC S5; MODAL OPERATORS; SOUND AND COMPLETE; TABLEAU SYSTEMS;

BIOMINERALIZATION;

EID: 33646191244     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45616-3_15     Document Type: Conference Paper

References (20)

1. F. Baader and U. Sattler. An overview of tableau algorithms for description logics. Studia Logica, 69:5-40, 2001.
2. M. Baldoni, L. Giordano, and A. Martelli. A tableau calculus for multimodal logics and some (un)decidability results. In H. de Swart, editor, Proceeding of TABLEAUX'98, LNCS 1397, pages 44-59. Springer-Verlag, 1998.
3. B. Beckert and D. Gabbay. Fibringsemantic tableaux. In H. de Swart, editor, Proceeding of TABLEAUX'98, LNCS 1397, pages 77-92. Springer-Verlag, 1998.
4. S. Demri. Complexity of simple dependent bimodal logics. In Roy Dyckhoff (Ed.): TABLEAUX 2000, LNAI 1847, pages 190-204. Springer, 2000.
5. K. Fine and G. Schurz. Transfer theorems for stratified multimodal logics. In J. Copeland, editor, Logic and Reality, Essays in Pure and Applied Logic. In Memory of Arthur Prior, pages 169-213. Oxford University Press, 1996.
6. M. Fitting. Proof Methods for Modal and Intuitionistic Logics. Volume 169 of Synthese Library. D. Reidel, Dordrecht, Holland, 1983.
7. M. Fitting, L. Thalmann, and A. Voronkov. Term-modal logics. Studia Logica, 69:133-169, 2001.
8. D. Gabbay. Fibred semantics and the weavingof logics part 1: Modal and intuitionistic logics. The Journal of Symbolic Logic, 61(4):1057-1120, 1996.
9. D. Gabbay and V. Shehtman. Products of modal logics, part 1. Logic Journal of the IGPL, 6(1):73-146, 1998.
10. R. Goré. Tableau methods for modal and temporal logics. In D'Agostino Gabbay Hähnle Posegga, editor, Handbook of Tableau Methods, pages 297-396. Kluwer Academic Publishers, 1999.
11. K.J.J. Hintikka. Form and content in quantification theory. Acta Philosophica Fennica, 8:3-55, 1955.
12. M. Kracht and F. Wolter. Properties of independently axiomatisable bimodal logic. Journal of Symbolic Logic, 56:1469-1485, 1991.
13. M. Kracht and F. Wolter. Simulation and transfer results in modal logic - a survey. Studia Logica, 59:149-177, 1997.
14. F. Massacci. Single step tableaux for modal logics. Journal of Automated Reasoning, 24(3):319-364, 2000.
15. L.A. Nguyen. Analytic tableau systems and interpolation for the modal logics KB, KDB, K5, KD5. Studia Logica, 69(1):41-57, 2001.
16. W. Rautenberg. Modal tableau calculi and interpolation. Journal of Philosophical Logic, 12:403-423, 1983.
17. R. Rosati. A sound and complete tableau calculus for reasoningabout only knowing and knowingat most. Studia Logica, 69:171-191, 2001.
18. W. van der Hoek and J.-J. Meyer. Modalities for reasoningabout knowledge and uncertainties. In Patrick Doherty, editor, Partiality, Modality, and Nonmonotonicity. CSLI Publications, 1996.
19. A. Visser. A course on bimodal provability logic. Annals of Pure and Applied Logic, 73:109-142, 1995.
20. M. Wooldridge, C. Dixon, and M. Fisher. A tableau-based proof method for temporal logics of knowledge and belief. Journal of Applied Non-Classical Logics, 8(3):225-258, 1998.