A linear approach to modal proof theory

In H. Wansing (ed.), Proof Theory of Modal Logic. Kluwer Academic Publishers. pp. 33 (1996)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



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

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

An approach to infinitary temporal proof theory.Stefano Baratella & Andrea Masini - 2004 - Archive for Mathematical Logic 43 (8):965-990.
Proof theory of modal logic.Heinrich Wansing (ed.) - 1996 - Boston: Kluwer Academic Publishers.
On the linear decoration of intuitionistic derivations.Vincent Danos, Jean-Baptiste Joinet & Harold Schellinx - 1995 - Archive for Mathematical Logic 33 (6):387-412.
Fitch-style natural deduction for modal paralogics.Hans Lycke - 2009 - Logique Et Analyse 52 (207):193-218.
Revising Carnap’s Semantic Conception of Modality.Toby Meadows - 2012 - Studia Logica 100 (3):497-515.
Planar and braided proof-nets for multiplicative linear logic with mix.G. Bellin & A. Fleury - 1998 - Archive for Mathematical Logic 37 (5-6):309-325.
The unprovability of consistency: an essay in modal logic.George Boolos - 1979 - New York: Cambridge University Press.
A modal view of linear logic.Simone Martini & Andrea Masini - 1994 - Journal of Symbolic Logic 59 (3):888-899.
Modal Hybrid Logic.Andrzej Indrzejczak - 2007 - Logic and Logical Philosophy 16 (2-3):147-257.
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.
The Semantics and Proof Theory of Linear Logic.Arnon Avron - 1988 - Theoretical Computer Science 57 (2):161-184.
A Buchholz Rule for Modal Fixed Point Logics.Gerhard Jäger & Thomas Studer - 2011 - Logica Universalis 5 (1):1-19.
Proof theory and set theory.Gaisi Takeuti - 1985 - Synthese 62 (2):255 - 263.

Analytics

Added to PP
2014-01-31

Downloads
21 (#720,615)

6 months
2 (#1,240,909)

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

Lectures on Linear Logic.Anne Sjerp Troelstra - 1992 - Center for the Study of Language and Information Publications.
A modal view of linear logic.Simone Martini & Andrea Masini - 1994 - Journal of Symbolic Logic 59 (3):888-899.

Add more references