The Inverse Method
- 1 January 2001
- book chapter
- Published by Elsevier BV
Abstract
No abstract availableThis publication has 18 references indexed in Scilit:
- Resolution-based methods for modal logicsLogic Journal of the IGPL, 2000
- Optimizing description logic subsumptionJournal of Logic and Computation, 1999
- The undecidability of simultaneous rigid E-unificationTheoretical Computer Science, 1996
- An O(n log n)-Space Decision Procedure for Intuitionistic Propositional LogicJournal of Logic and Computation, 1993
- Contraction-free sequent calculi for intuitionistic logicThe Journal of Symbolic Logic, 1992
- Strategies for modal resolution: Results and problemsJournal of Automated Reasoning, 1990
- A decidable fragment of predicate calculusTheoretical Computer Science, 1984
- Model Theory for Modal LogicPublished by Springer Science and Business Media LLC ,1979
- Untersuchungen ber das logische Schlie en. IIMathematische Zeitschrift, 1935
- Untersuchungen ber das logische Schlie en. IMathematische Zeitschrift, 1935