- 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
Infinitary tableau for semantic truth
Review of Symbolic Logic 8 (2):207-235 (2015)
Abstract
This article has no associated abstract. (fix it)Author's Profile
Links
PhilArchive
External links
- From the Publisher via CrossRef (no proxy)
- aura.abdn.ac.uk
(no proxy) - espace.library.uq.edu.au (no proxy)
- espace.library.uq.edu.au [2] (no proxy)
- hdl.handle.net (no proxy)
- journals.cambridge.org (no proxy)
- espace.library.uq.edu.au [3] (no proxy)
- espace.library.uq.edu.au [4] (no proxy)
- cambridge.org (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
Counterfactuals and semantic tableaux.Daniel Rönnedal - 2009 - Logic and Logical Philosophy 18 (1):71-91.
Dyadic deontic logic and semantic tableaux.Daniel Rönnedal - 2009 - Logic and Logical Philosophy 18 (3-4):221-252.
Revising Carnap’s Semantic Conception of Modality.Toby Meadows - 2012 - Studia Logica 100 (3):497-515.
Truth, Dependence and Supervaluation: Living with the Ghost.Toby Meadows - 2013 - Journal of Philosophical Logic 42 (2):221-240.
The concept of truth and the semantics of the truth predicate.Kirk Ludwig & Emil Badici - 2007 - Inquiry: An Interdisciplinary Journal of Philosophy 50 (6):622-638.
Are tableaux an improvement on truth-tables?Marcello D'Agostino - 1992 - Journal of Logic, Language and Information 1 (3):235-252.
Truth: The Deflationary Theory Vs. The Semantic Theory.Glen Adam Hoffmann - 2003 - Dissertation, University of Toronto (Canada)
An overview of tableau algorithms for description logics.Franz Baader & Ulrike Sattler - 2001 - Studia Logica 69 (1):5-40.
Infinitary Modal Logic and Generalized Kripke Semantics.Pierluigi Minari - 2011 - Annali Del Dipartimento di Filosofia 17:135-166.
'Truth Predicates' in Natural Language.Friederike Moltmann - 2015 - In José Martinez, Achourioti Dora & Galinon Henri (eds.), Unifying the Philosophy of Truth. Springer. pp. 57-83.
Axiomatizing semantic theories of truth?Martin Fischer, Volker Halbach, Jönne Kriener & Johannes Stern - 2015 - Review of Symbolic Logic 8 (2):257-278.
Analytics
Added to PP
2015-07-07
Downloads
107 (#158,920)
6 months
24 (#109,950)
2015-07-07
Downloads
107 (#158,920)
6 months
24 (#109,950)
Historical graph of downloads
Author's Profile
Citations of this work
Truth, Partial Logic and Infinitary Proof Systems.Martin Fischer & Norbert Gratzl - 2017 - Studia Logica 106 (3):1-26.
Notes on the Computational Aspects of Kripke’s Theory of Truth.Stanislav O. Speranski - 2017 - Studia Logica 105 (2):407-429.
References found in this work
An Introduction to Non-Classical Logic: From If to Is.Graham Priest - 2008 - New York: Cambridge University Press.
An Introduction to Non-Classical Logic: From If to Is.Graham Priest - 2008 - Bulletin of Symbolic Logic 14 (4):544-545.
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-7c76586df8-hc2g5 uwo