What is Not Wrong with a Hartshornean Modal Proof

Southern Journal of Philosophy 18 (1):99-106 (1980)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

ISBN(s)

00384283

DOI

10.1111/j.2041-6962.1980.tb01367.x

Links

PhilArchive



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

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

K modálnímu ontologickému důkazu.Petr Dvořák - 2004 - Studia Neoaristotelica 1 (1-2):33-69.
Proof theory of modal logic.Heinrich Wansing (ed.) - 1996 - Boston: Kluwer Academic Publishers.
Lower Bounds for Modal Logics.Pavel Hrubeš - 2007 - Journal of Symbolic Logic 72 (3):941 - 958.
Proof-theoretic modal pa-completeness I: A system-sequent metric.Paolo Gentilini - 1999 - Studia Logica 63 (1):27-48.
The contribution of A.V. Kuznetsov to the theory of modal systems and structures.Alexei Y. Muravitsky - 2008 - Logic and Logical Philosophy 17 (1-2):41-58.
Syntactical results on the arithmetical completeness of modal logic.Paolo Gentilini - 1993 - Studia Logica 52 (4):549 - 564.
Fitch-style natural deduction for modal paralogics.Hans Lycke - 2009 - Logique Et Analyse 52 (207):193-218.
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.
Encoding modal logics in logical frameworks.Arnon Avron, Furio Honsell, Marino Miculan & Cristian Paravano - 1998 - Studia Logica 60 (1):161-208.
Effective Cut-elimination for a Fragment of Modal mu-calculus.Grigori Mints - 2012 - Studia Logica 100 (1-2):279-287.
Johdatus modaalilogiikkaan.Veikko Rantala & Ari Virtanen - 2004 - Gaudeamus.
Propositional Abduction in Modal Logic.Marta Cialdea Mayer & Fiora Pirri - 1995 - Logic Journal of the IGPL 3 (6):907-919.
A linear approach to modal proof theory.Harold Schellinx - 1996 - In H. Wansing (ed.), Proof Theory of Modal Logic. Kluwer Academic Publishers. pp. 33.
The unprovability of consistency: an essay in modal logic.George Boolos - 1979 - New York: Cambridge University Press.
Proof Theory for Modal Logic.Sara Negri - 2011 - Philosophy Compass 6 (8):523-538.

Analytics

Added to PP
2010-09-15

Downloads
19 (#783,934)

6 months
5 (#633,186)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references