A resolution calculus for modal logics
- 9 June 2005
- book chapter
- Published by Springer Nature
- p. 500-516
- https://doi.org/10.1007/bfb0012852
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- The Recursive Resolution method for Modal LogicNew Generation Computing, 1987
- What you always wanted to know about clause graph resolutionPublished by Springer Nature ,1986
- Resolution Modal LogicsPublished by Springer Nature ,1985
- Proof Methods for Modal and Intuitionistic LogicsPublished by Springer Nature ,1983
- A Proof Procedure Using Connection GraphsJournal of the ACM, 1975
- Tableau methods of proof for modal logics.Notre Dame Journal of Formal Logic, 1972
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965
- Semantical Analysis of Modal Logic I Normal Modal Propositional CalculiMathematical Logic Quarterly, 1963
- A completeness theorem in modal logicThe Journal of Symbolic Logic, 1959