On an automated translation of modal proof rules into formulas of the classical logic

Journal of Applied Non-Classical Logics 4 (2):119-127 (1994)
  Copy   BIBTEX

Abstract

No abstract

Categories

Keywords

Reprint years

DOI

10.1080/11663081.1994.10510828

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A modal view of linear logic.Simone Martini & Andrea Masini - 1994 - Journal of Symbolic Logic 59 (3):888-899.
Unification and Passive Inference Rules for Modal Logics.V. V. Rybakov, M. Terziler & C. Gencer - 2000 - Journal of Applied Non-Classical Logics 10 (3-4):369-377.
The Translation of First Order Logic into Modal Predicate Logic.Beomin Kim - 2008 - Proceedings of the Xxii World Congress of Philosophy 13:65-69.
Proof theory of modal logic.Heinrich Wansing (ed.) - 1996 - Boston: Kluwer Academic Publishers.
Automated deduction in a graphical temporal logic.L. E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna, G. Kutty & L. K. Dillon - 1996 - Journal of Applied Non-Classical Logics 6 (1):29-47.
A proof–theoretic study of the correspondence of hybrid logic and classical logic.H. Kushida & M. Okada - 2006 - Journal of Logic, Language and Information 16 (1):35-61.
Thephilosophyofautomatedtheoremproving.Francis Jeffry Pelletier - unknown
Derivation rules as anti-axioms in modal logic.Yde Venema - 1993 - Journal of Symbolic Logic 58 (3):1003-1034.
Metalogic of Intuitionistic Propositional Calculus.Alex Citkin - 2010 - Notre Dame Journal of Formal Logic 51 (4):485-502.
Lower Bounds for Modal Logics.Pavel Hrubeš - 2007 - Journal of Symbolic Logic 72 (3):941 - 958.
A proof-theoretic study of the correspondence of classical logic and modal logic.H. Kushida & M. Okada - 2003 - Journal of Symbolic Logic 68 (4):1403-1414.
A framework for the transfer of proofs, lemmas and strategies from classical to non classical logics.Ricardo Caferra, Stéphane Demri & Michel Herment - 1993 - Studia Logica 52 (2):197 - 232.
Elementary definability and completeness in general and positive modal logic.Ernst Zimmermann - 2003 - Journal of Logic, Language and Information 12 (1):99-117.
Review: Lincoln A. Wallen, Automated Proof Search in Non-Classical Logics. Efficient Matrix Proof Methods for Modal and Intuitionistic Logics. [REVIEW]Luis Farinas del Cerro - 1993 - Journal of Symbolic Logic 58 (2):719-720.

Analytics

Added to PP
2013-12-01

Downloads
14 (#961,492)

6 months
2 (#1,263,261)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Add more citations

References found in this work

No references found.

Add more references