- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Trees for truth
Nordic Journal of Philosophical Logic 6 (1):71-99 (2001)
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).Other Versions
| reprint | Barba, Juan (2010) "Trees for truth". Nordic Journal of Philosophical Logic 6(1):71-99 |
Links
PhilArchive
External links
- From the Publisher via CrossRef (no proxy)
- dx.doi.org (no proxy)
- tandfonline.com (no proxy)
- tandfonline.com [2] (no proxy)
- tandfonline.com [3] (no proxy)
- tandfonline.com [4] (no proxy)
- doi.org
(no proxy) - informahealthcare.com (no proxy)
- tandfonline.com [5] (no proxy)
- tandfonline.com [6] (no proxy)
- informahealthcare.com [2] (no proxy)
- tandfonline.com [7] (no proxy)
- tandfonline.com [8] (no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
Talking about Trees and Truth-Conditions.Reinhard Muskens - 1991 - Journal of Logic, Language and Information 10 (4):417-455.
Supervaluation on Trees for Kripke’s Theory of Truth.Casper Storm Hansen - 2015 - Review of Symbolic Logic 8 (1):46-74.
Stability Logic: A Logic of Truth and Paradox.Aladdin Mahmud Yaqub - 1991 - Dissertation, The University of Wisconsin - Madison
Gupta's rule of revision theory of truth.Nuel D. Belnap - 1982 - Journal of Philosophical Logic 11 (1):103-116.
Axiomatizing Kripke’s Theory of Truth.Volker Halbach & Leon Horsten - 2006 - Journal of Symbolic Logic 71 (2):677 - 712.
Supervaluation fixed-point logics of truth.Philip Kremer & Alasdair Urquhart - 2008 - Journal of Philosophical Logic 37 (5):407-440.
Revision Without Revision Sequences: Self-Referential Truth.Edoardo Rivello - 2019 - Journal of Philosophical Logic 48 (3):523-551.
Analytics
Added to PP
2010-08-24
Downloads
79 (#262,129)
6 months
3 (#1,464,642)
2010-08-24
Downloads
79 (#262,129)
6 months
3 (#1,464,642)
Historical graph of downloads
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-f8568656d-snkrx uwo