A Tableau Calculus for Multimodal Logics and Some (Un)Decidability Results
- 1 January 1998
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 21 references indexed in Scilit:
- A NEW INTRODUCTION TO MODAL LOGICPublished by Taylor & Francis ,1996
- Highway to the Danger ZoneJournal of Logic and Computation, 1995
- Modal Theorem Proving: An Equational ViewpointJournal of Logic and Computation, 1992
- A guide to completeness and complexity for modal logics of knowledge and beliefArtificial Intelligence, 1992
- TABLEAUX: A general theorem prover for modal logicsJournal of Automated Reasoning, 1991
- Modal resolution in clausal formTheoretical Computer Science, 1989
- Thue systems as rewriting systemsJournal of Symbolic Computation, 1987
- Propositional dynamic logic of nonregular programsJournal of Computer and System Sciences, 1983
- Proof Methods for Modal and Intuitionistic LogicsPublished by Springer Nature ,1983
- Propositional dynamic logic of regular programsJournal of Computer and System Sciences, 1979