Modal trees for T and S5

Notre Dame Journal of Formal Logic 18:602 (1977)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



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

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

Modal trees for modal predicate logics.B. Davidson - 1982 - Logique Et Analyse 25 (97):47.
Modal Tree‐Sequents.Claudio Cerrato - 1996 - Mathematical Logic Quarterly 42 (1):197-210.
Modal Logics and Philosophy: Second Edition.Rod Girle - 2010 - Mcgill-Queen's University Press.
Linguistics, Logic and Finite Trees.Patrick Blackburn & Wilfried Meyer-Viol - 1994 - Logic Journal of the IGPL 2 (1):3-29.
Modal Logics and Philosophy.Rod Girle - 2000 - [Durham]: Routledge.
Modal trees for ${\rm T}$ and ${\rm S}5$.B. Davidson, F. C. Jackson & R. Pargetter - 1977 - Notre Dame Journal of Formal Logic 18 (4):602-606.
Modal Logics and Philosophy.Rod Girle - 2000 - [Durham]: Mcgill-Queen's University Press.
Cut Elimination for GLS Using the Terminability of its Regress Process.Jude Brighton - 2016 - Journal of Philosophical Logic 45 (2):147-153.
Modal Logic for Philosophers.James W. Garson - 2006 - Cambridge and New York: Cambridge University Press.
Modal Logic for Philosophers.James W. Garson - 2006 - Cambridge and New York: Cambridge University Press.
Modal logic for philosophers.James W. Garson - 2006 - New York: Cambridge University Press.
Empiiriset elementit modaaliepistemologiassa.Tuomas E. Tahko - 2016 - In Ilkka Niiniluoto, Tuomas Tahko & Teemu Toppinen (eds.), Mahdollisuus. Helsinki: Philosophical Society of Finland. pp. 154-159.
A reconstruction of Aristotle's modal syllogistic.Marko Malink - 2006 - History and Philosophy of Logic 27 (2):95-141.

Analytics

Added to PP
2017-02-20

Downloads
5 (#1,546,680)

6 months
1 (#1,478,830)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Relevant analytic tableaux.Michael A. McRobbie & Nuel D. Belnap - 1979 - Studia Logica 38 (2):187 - 200.

Add more citations

References found in this work

No references found.

Add more references