A resolution decision procedure for the guarded fragment
- 1 January 1998
- book chapter
- Published by Springer Nature
- p. 191-204
- https://doi.org/10.1007/bfb0054260
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- A resolution calculus for modal logicsPublished by Springer Nature ,2005
- Resolution games and non-liftable resolution orderingsPublished by Springer Nature ,1995
- Rewrite rule systems for modal propositional logicThe Journal of Logic Programming, 1992
- TABLEAUX: A general theorem prover for modal logicsJournal of Automated Reasoning, 1991
- Destructive Modal ResolutionJournal of Logic and Computation, 1990
- Modal resolution in clausal formTheoretical Computer Science, 1989
- Linear modal deductionsPublished by Springer Nature ,1988
- The Computational Complexity of Provability in Systems of Modal Propositional LogicSIAM Journal on Computing, 1977
- Resolution Strategies as Decision ProceduresJournal of the ACM, 1976
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965