Cut-free modal sequents for normal modal logics

Notre Dame Journal of Formal Logic 34 (4):564-582 (1993)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,261

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

Normal monomodal logics can simulate all others.Marcus Kracht & Frank Wolter - 1999 - Journal of Symbolic Logic 64 (1):99-138.
Independent propositional modal logics.S. K. Thomason - 1980 - Studia Logica 39 (2-3):143 - 144.
Modal sequents and definability.Bruce M. Kapron - 1987 - Journal of Symbolic Logic 52 (3):756-762.
Prefixed tableaus and nested sequents.Melvin Fitting - 2012 - Annals of Pure and Applied Logic 163 (3):291 - 313.
Natural Deduction Based upon Strict Implication for Normal Modal Logics.Claudio Cerrato - 1994 - Notre Dame Journal of Formal Logic 35 (4):471-495.

Analytics

Added to PP
2010-08-24

Downloads
19 (#803,294)

6 months
11 (#244,932)

Historical graph of downloads
How can I increase my downloads?