Trees for truth

Nordic Journal of Philosophical Logic 6 (1):71-99 (2010)
  Copy   BIBTEX

Abstract

This papers aims to analyse sentences of a self-referential language containing a truth-predicate by means of a Smullyan-style tableau system. Our analysis covers three variants of Kripke's partial-model semantics (strong and weak Kleene's and supervaluational) and three variants of the revision theory of truth (Belnap's, Gupta's and Herzberger's).

Categories

Keywords

Reprint years

DOI

10.1080/080662001316865855

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,423

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

Trees for truth.Juan Barba - 2001 - Nordic Journal of Philosophical Logic 6 (1):71-99.
Supervaluation on trees for kripke’s theory of truth.Casper Storm Hansen - 2015 - Review of Symbolic Logic 8 (1):46-74.
Principles for possibilia.Christopher Peacocke - 2002 - Noûs 36 (3):486–508.
Principles for Possibilia.Christopher Peacocke - 2002 - Royal Institute of Philosophy Supplement 51:119-145.
Relevance-Sensitive Truth-Trees.David Makinson - 2021 - In Ivo Düntsch & Edwin Mares (eds.), Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs. Springer Verlag. pp. 23-65.
Knights, Knaves, Truth, Truthfulness, Grounding, Tethering, Aboutness, and Paradox.Stephen Yablo - 2017 - In Melvin Fitting (ed.), Essays for Raymond Smullyan.
Game Trees For Decision Analysis.Prakash P. Shenoy - 1998 - Theory and Decision 44 (2):149-171.
VC-density for trees.Anton Bobkov - 2019 - Archive for Mathematical Logic 58 (5-6):587-603.
Logic with trees: an introduction to symbolic logic.Colin Howson - 1997 - New York: Routledge.
Analytic cut trees.Carlo Cellucci - 2000 - Logic Journal of the IGPL 8 (6):733-750.
Logic: Bullet Guides.Joe Morrison - 2012 - Hodder Education.
Antichains of perfect and splitting trees.Paul Hein & Otmar Spinas - 2020 - Archive for Mathematical Logic 59 (3-4):367-388.
Computable trees of Scott rank ω 1CK, and computable approximation.Wesley Calvert, Julia F. Knight & Jessica Millar - 2006 - Journal of Symbolic Logic 71 (1):283-298.
Relevance via decomposition.David Makinson - 2017 - Australasian Journal of Logic 14 (3).
Uniformization, Choice Functions and Well Orders in the Class of Trees.Shmuel Lifsches & Saharon Shelah - 1996 - Journal of Symbolic Logic 61 (3):1206-1227.

Analytics

Added to PP
2022-04-26

Downloads
12 (#1,065,802)

6 months
8 (#346,782)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references