Building Decision Procedures for Modal Logics from Propositional Decision Procedures: The Case Study of Modal K(m)
- 1 October 2000
- journal article
- Published by Elsevier in Information and Computation
- Vol. 162 (1-2) , 158-178
- https://doi.org/10.1006/inco.1999.2850
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Exploiting the deep structure of constraint problemsArtificial Intelligence, 1994
- Applying GSATto Non-Clausal FormulasJournal of Artificial Intelligence Research, 1994
- Multilanguage hierarchical logics, or: How we can do without modal logicsArtificial Intelligence, 1994
- Embedding complex decision procedures inside an interactive theorem proverAnnals of Mathematics and Artificial Intelligence, 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
- First-order modal tableauxJournal of Automated Reasoning, 1988