On the completeness of classical modal display logic

In H. Wansing (ed.), Proof Theory of Modal Logic. Kluwer Academic Publishers. pp. 2--137 (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,610

External links

  • This entry has no external links. Add one.
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

Classical modal display logic in the calculus of structures and minimal cut-free deep inference calculi for S.Rajeev Gore - manuscript
A Sahlqvist theorem for relevant modal logics.Takahiro Seki - 2003 - Studia Logica 73 (3):383-411.
Elementary definability and completeness in general and positive modal logic.Ernst Zimmermann - 2003 - Journal of Logic, Language and Information 12 (1):99-117.
Kripke Completeness of Infinitary Predicate Multimodal Logics.Yoshihito Tanaka - 1999 - Notre Dame Journal of Formal Logic 40 (3):326-340.
Predicate logics on display.Heinrich Wansing - 1999 - Studia Logica 62 (1):49-75.
Syntactical results on the arithmetical completeness of modal logic.Paolo Gentilini - 1993 - Studia Logica 52 (4):549 - 564.
Review: M. J. Cresswell, A Henkin Completeness Theorem for T; M. J. Cresswell, Alternative Completeness Theorems for Modal Systems; M. J. Cresswell, Some Proofs of Relative Completeness in Modal Logic. [REVIEW]David Makinson - 1970 - Journal of Symbolic Logic 35 (4):581-582.
General Frames for Relevant Modal Logics.Takahiro Seki - 2003 - Notre Dame Journal of Formal Logic 44 (2):93-109.
Comparing modal sequent systems.Greg Restall - unknown
A unified completeness theorem for quantified modal logics.Giovanna Corsi - 2002 - Journal of Symbolic Logic 67 (4):1483-1510.
Modal logic and model theory.Giangiacomo Gerla & Virginia Vaccaro - 1984 - Studia Logica 43 (3):203 - 216.
Some Connections between Topological and Modal Logic.Kurt Engesser - 1995 - Mathematical Logic Quarterly 41 (1):49-64.
Displaying the modal logic of consistency.Heinrich Wansing - 1999 - Journal of Symbolic Logic 64 (4):1573-1590.

Analytics

Added to PP
2014-01-31

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

Predicate logics on display.Heinrich Wansing - 1999 - Studia Logica 62 (1):49-75.
Display calculi for logics with relative accessibility relations.Stéphane Demri & Rajeev Goré - 2000 - Journal of Logic, Language and Information 9 (2):213-236.

Add more citations

References found in this work

No references found.

Add more references