Modal trees for ${\rm T}$ and ${\rm S}5$

, &
Notre Dame Journal of Formal Logic 18 (4):602-606 (1977)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093888127

Links

PhilArchive



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

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

Syntactical results on the arithmetical completeness of modal logic.Paolo Gentilini - 1993 - Studia Logica 52 (4):549 - 564.
Modal trees: Rod Girle: Modal logics and philosophy, Second edition, Durham, Acumen, 2009, pp. viii+248, £19.99 PB.Yannis Stephanou - 2010 - Metascience 20 (2):385-388.
Game Trees For Decision Analysis.Prakash P. Shenoy - 1998 - Theory and Decision 44 (2):149-171.
On Scott and Karp trees of uncountable models.Tapani Hyttinen & Jouko Väänänen - 1990 - Journal of Symbolic Logic 55 (3):897-908.
Modal logic for philosophers.James W. Garson - 2006 - New York: Cambridge University Press.
Computable Trees of Scott Rank $\omega _{1}^{\mathit{CK}}$ , and Computable Approximation.Wesley Calvert, Julia F. Knight & Jessica Millar - 2006 - Journal of Symbolic Logic 71 (1):283 - 298.
Uniformization, choice functions and well orders in the class of trees.Shmuel Lifsches & Saharon Shelah - 1996 - Journal of Symbolic Logic 61 (4):1206-1227.
Modal trees: correction to a decision procedure for ${\rm S5}$ (and ${\rm T}$).A. Burrieza & Juan C. León - 1987 - Notre Dame Journal of Formal Logic 28 (3):385-391.
Congruence of morphological and molecular phylogenies.Davide Pisani, Michael J. Benton & Mark Wilkinson - 2007 - Acta Biotheoretica 55 (3):269-281.
Logic with trees: an introduction to symbolic logic.Colin Howson - 1997 - New York: Routledge.
Trees and Family Trees in the Aeneid.Emily Gowers - 2011 - Classical Antiquity 30 (1):87-118.
Inessential features, ineliminable features, and modal logics for model theoretic syntax.Hans-Jörg Tiede - 2008 - Journal of Logic, Language and Information 17 (2):217-227.
Analytic cut trees.Carlo Cellucci - 2000 - Logic Journal of the IGPL 8 (6):733-750.
A reconstruction of Aristotle's modal syllogistic.Marko Malink - 2006 - History and Philosophy of Logic 27 (2):95-141.

Analytics

Added to PP
2010-08-24

Downloads
10 (#1,198,690)

6 months
1 (#1,478,781)

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