MSPASS: Modal Reasoning by Translation and First-Order Resolution
- 1 January 2000
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Resolution-based methods for modal logicsLogic Journal of the IGPL, 2000
- Issues of Decidability for Description Logics in the Framework of ResolutionPublished by Springer Nature ,2000
- Maslov’s Class K RevisitedPublished by Springer Nature ,1999
- An empirical analysis of modal theorem proversJournal of Applied Non-Classical Logics, 1999
- Optimised Functional Translation and ResolutionPublished by Springer Nature ,1998
- On generating small clause normal formsPublished by Springer Nature ,1998
- Functional translation and second-order frame properties of modal logicsJournal of Logic and Computation, 1997
- Rewrite-based Equational Theorem Proving with Selection and SimplificationJournal of Logic and Computation, 1994
- Modal Theorem Proving: An Equational ViewpointJournal of Logic and Computation, 1992
- Semantics-Based Translation Methods for Modal LogicsJournal of Logic and Computation, 1991