Natural deduction in normal modal logic

Notre Dame Journal of Formal Logic 31 (2):263-273 (1990)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

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

A New S4 Classical Modal Logic in Natural Deduction.Maria Da Paz N. Medeiros - 2006 - Journal of Symbolic Logic 71 (3):799 - 809.
Natural Deduction Based upon Strict Implication for Normal Modal Logics.Claudio Cerrato - 1994 - Notre Dame Journal of Formal Logic 35 (4):471-495.
Natural deduction: a proof-theoretical study.Dag Prawitz - 1965 - Mineola, N.Y.: Dover Publications.
A Brief History of Natural Deduction.Francis Jeffry Pelletier - 1999 - History and Philosophy of Logic 20 (1):1-31.
Interpretations of intuitionist logic in non-normal modal logics.Colin Oakes - 1999 - Journal of Philosophical Logic 28 (1):47-60.
Normal monomodal logics can simulate all others.Marcus Kracht & Frank Wolter - 1999 - Journal of Symbolic Logic 64 (1):99-138.
Normal derivations and sequent derivations.Mirjana Borisavljevi - 2008 - Journal of Philosophical Logic 37 (6):521 - 548.
A natural deduction system for modal logic.John Thomas Canty - 1964 - Notre Dame Journal of Formal Logic 5 (3):199-210.
Infinitary propositional normal modal logic.Slavian Radev - 1987 - Studia Logica 46 (4):291 - 309.
Logical Consequence in Modal Logic.John Corcoran & George Weaver - 1969 - Notre Dame Journal of Formal Logic 10 (4):370-384.

Analytics

Added to PP
2010-08-24

Downloads
11 (#975,863)

6 months
1 (#1,040,386)

Historical graph of downloads
How can I increase my downloads?