Building decision procedures for modal logics from propositional decision procedures — The case study of modal K
- 1 January 1996
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- The Taming of the Cut. Classical Refutations with Analytic CutJournal of Logic and Computation, 1994
- Applying GSATto Non-Clausal FormulasJournal of Artificial Intelligence Research, 1994
- Multilanguage hierarchical logics, or: How we can do without modal logicsArtificial Intelligence, 1994
- Strongly analytic tableaux for normal modal logicsLecture Notes in Computer Science, 1994
- Embedding complex decision procedures inside an interactive theorem proverAnnals of Mathematics and Artificial Intelligence, 1993
- Dynamic BacktrackingJournal of Artificial Intelligence Research, 1993
- Symbolic Boolean manipulation with ordered binary-decision diagramsACM Computing Surveys, 1992
- A guide to completeness and complexity for modal logics of knowledge and beliefArtificial Intelligence, 1992
- Are tableaux an improvement on truth-tables?Journal of Logic, Language and Information, 1992
- First-order modal tableauxJournal of Automated Reasoning, 1988