Strongly analytic tableaux for normal modal logics
- 1 January 1994
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 723-737
- https://doi.org/10.1007/3-540-58156-1_52
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- A resolution calculus for modal logicsPublished by Springer Nature ,2005
- Theory matrices (for modal logics) using alphabetical monotonicityStudia Logica, 1993
- TABLEAUX: A general theorem prover for modal logicsJournal of Automated Reasoning, 1991
- Modelling knowledge and action in distributed systemsDistributed Computing, 1989
- Gentzen style systems for K45 and K45DLecture Notes in Computer Science, 1989
- On the relation between default and autoepistemic logicArtificial Intelligence, 1988
- First-order modal tableauxJournal of Automated Reasoning, 1988
- Proof Methods for Modal and Intuitionistic LogicsPublished by Springer Nature ,1983
- Confluent Reductions: Abstract Properties and Applications to Term Rewriting SystemsJournal of the ACM, 1980
- Tableau methods of proof for modal logics.Notre Dame Journal of Formal Logic, 1972