On the Proof Theory of the Modal Logic Grz

Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 32 (10-12):145-148 (1986)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 77,985

External links

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

Through your library

Similar books and articles

Proof Theory of Modal Logic.Heinrich Wansing (ed.) - 1996 - Dordrecht, Netherland: Kluwer Academic Publishers.
On the Proof Theory of the Modal Logic Grz.M. Borga & P. Gentilini - 1986 - Mathematical Logic Quarterly 32 (10‐12):145-148.
The Unprovability of Consistency: An Essay in Modal Logic.George Boolos - 1979 - Cambridge, England: Cambridge University Press.
Modal Hybrid Logic.Andrzej Indrzejczak - 2007 - Logic and Logical Philosophy 16 (2-3):147-257.
Lower Bounds for Modal Logics.Pavel Hrubeš - 2007 - Journal of Symbolic Logic 72 (3):941 - 958.
A linear approach to modal proof theory.Harold Schellinx - 1996 - In H. Wansing (ed.), Proof Theory of Modal Logic. Kluwer Academic Publishers. pp. 33.
Proof Theory for Modal Logic.Sara Negri - 2011 - Philosophy Compass 6 (8):523-538.
Some Connections between Topological and Modal Logic.Kurt Engesser - 1995 - Mathematical Logic Quarterly 41 (1):49-64.

Analytics

Added to PP
2015-12-02

Downloads
26 (#455,240)

6 months
1 (#485,425)

Historical graph of downloads
How can I increase my downloads?

References found in this work

Proof Theory.Gaisi Takeuti - 1975 - Mineola, New York: Elsevier.
Untersuchungen über das logische Schließen. I.Gerhard Gentzen - 1935 - Mathematische Zeitschrift 35:176–210.

Add more references