Combining Hilbert style and semantic reasoning in a resolution framework

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1421, Issue , 1998, Pages 205-219

  Ohlbach, Hans Jürgen ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION; SEMANTICS; THEOREM PROVING;

HILBERT SYSTEM; INFERENCE METHODS; NON-CLASSICAL LOGIC; PREDICATE LOGIC; REWRITE RULES; SECOND ORDERS; SEMANTIC REASONING; THEOREM PROVERS;

COMPUTER CIRCUITS;

EID: 84957079445     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0054261     Document Type: Conference Paper

References (10)

1. Chris Brink, Dov Gabbay, and Hans Jürgen Ohlbach. Towards Automating Duality. Journal of Computers and Mathematics with Applications, 29(2): 73-90, 1994.
2. B.F. Chellas. Modal Logic: An Introduction. Cambridge University Press, Cambridge, 1980.
3. Dov M. Gabbay. Self fibring in predicate logics, fibred semantics and the weaving of logics, part 4, 1996. manuscript.
4. Dov M. Gabbay and Hans Jürgen Ohlbach. Quantifier elimination in second-order predicate logic. In Bernhard Nebel, Charles Rich, and William Swartout, editors, Principles of Knowledge Representation and Reasoning (KR92), pages 425-435. Morgan Kaufmann, 1992.
5. Maria Manzano. Extensions of First Order Logic. Cambridge Tracts in Theoretical Computer Science 19, Cambridge University Press, 1996.
6. Williman McCune and Larry Wos. Experiments in automated deduction with condensed detachment. In Deepak Kapur, editor, Automated Deduction-CADE 11, Lecture Notes in Al, vol. 607, pages 209-223. Springer Verlag, 1992.
7. Andreas Nonnengart. A Resolution-Based Calculus for Temporal Logics. PhD thesis, Universität des Saarlandes, Saarbrücken, Germany, December 1995.
8. Hans Jürgen Ohlbach. Semantics based translation methods for modal logics. Journal of Logic and Computation, l(5): 691-746, 1991.
9. Renate A. Schmidt. Optimised Modal Translation and Resolution. PhD thesis, Max-Planck-Institut für Informatik, Saarbrücken, 1997.
10. Johan van Benthem. Correspondence theory. In Gabbay Dov M and Franz Guen-thner, editors, Handbook of Philosophical Logic, Vol. II, Extensions of Classical Logic, Synthese Library Vol. 165, pages 167-248. D. Reidel Publishing Company, Dordrecht, 1984.