- Review: Alfred Tarski, Undecidable Theories. [REVIEW]Martin Davis - 1959 - Journal of Symbolic Logic 24 (2):167-169.details
|
|
Notes on Formal Theories of Truth.Andrea Cantini - 1989 - Zeitshrift für Mathematische Logik Und Grundlagen der Mathematik 35 (1):97--130.details
|
|
Notes on Formal Theories of Truth.Andrea Cantini - 1989 - Mathematical Logic Quarterly 35 (2):97-130.details
|
|
A theory of formal truth arithmetically equivalent to ID.Andrea Cantini - 1990 - Journal of Symbolic Logic 55 (1):244 - 259.details
|
|
A Theory of Formal Truth Arithmetically Equivalent to ID 1.Andrea Cantini - 1990 - Journal of Symbolic Logic 55 (1):244-259.details
|
|
On the weak Kleene scheme in Kripke's theory of truth.James Cain & Zlatan Damnjanovic - 1991 - Journal of Symbolic Logic 56 (4):1452-1468.details
|
|
The truth is never simple.John P. Burgess - 1986 - Journal of Symbolic Logic 51 (3):663-681.details
|
|
Computability and Logic.G. S. Boolos & R. C. Jeffrey - 1977 - British Journal for the Philosophy of Science 28 (1):95-95.details
|
|
A graph-theoretic analysis of the semantic paradoxes.Timo Beringer & Thomas Schindler - 2017 - Bulletin of Symbolic Logic 23 (4):442-492.details
|
|
Undecidable Theories.Alfred Tarski, Andrzej Mostowski & Raphael M. Robinson - 1953 - Philosophy 30 (114):278-279.details
|
|
(1 other version)Proof and Truth.Stewart Shapiro - 1998 - Journal of Philosophy 95 (10):493-521.details
|
|
What Truth Depends on.Hannes Leitgeb - 2005 - Journal of Philosophical Logic 34 (2):155-192.details
|
|
A Disquotational Theory of Truth as Strong as Z 2 −.Thomas Schindler - 2015 - Journal of Philosophical Logic 44 (4):395-410.details
|
|
Reducing compositional to disquotational truth.Volker Halbach - 2009 - Review of Symbolic Logic 2 (4):786-798.details
|
|
Elementary induction on abstract structures.Yiannis Nicholas Moschovakis - 1974 - Mineola, N.Y.: Dover Publications.details
|
|
Subsystems of Second Order Arithmetic.Stephen G. Simpson - 1999 - Studia Logica 77 (1):129-129.details
|
|
(2 other versions)Elementary Induction on Abstract Structures.Wayne Richter - 1979 - Journal of Symbolic Logic 44 (1):124-125.details
|
|
Axiomatic theories of truth.Volker Halbach - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
Outline of a theory of truth.Saul Kripke - 1975 - Journal of Philosophy 72 (19):690-716.details
|
|
Truth and paradox.Anil Gupta - 1982 - Journal of Philosophical Logic 11 (1):1-60.details
|
|
Reflecting on incompleteness.Solomon Feferman - 1991 - Journal of Symbolic Logic 56 (1):1-49.details
|
|
The Semantical Paradoxes, the Neutrality of Truth and the Neutrality of the Minimalist Theory of Truth.Leon Horsten - 1995 - In P. Cartois (ed.), The Many Problems of Realism (Studies in the General Philosophy of Science: Volume 3). Tilberg University Press.details
|
|
Truth and Paradox.Anil Gupta - 1981 - Journal of Philosophy 78 (11):735-736.details
|
|
Axiomatic Theories of Truth.Volker Halbach - 2010 - Cambridge, England: Cambridge University Press.details
|
|
Axiomatizing semantic theories of truth?Martin Fischer, Volker Halbach, Jönne Kriener & Johannes Stern - 2015 - Review of Symbolic Logic 8 (2):257-278.details
|
|
Pairs, sets and sequences in first-order theories.Albert Visser - 2008 - Archive for Mathematical Logic 47 (4):299-326.details
|
|
Axioms for grounded truth.Thomas Schindler - 2014 - Review of Symbolic Logic 7 (1):73-83.details
|
|
Cardinal arithmetic in the style of Baron Von münchhausen.Albert Visser - 2009 - Review of Symbolic Logic 2 (3):570-589.details
|
|
(1 other version)Truth and reduction.Volker Halbach - 2000 - Erkenntnis 53 (1-2):97-126.details
|
|
On Gupta-Belnap revision theories of truth, Kripkean fixed points, and the next stable set.P. D. Welch - 2001 - Bulletin of Symbolic Logic 7 (3):345-360.details
|
|
Ontology and mathematics.Charles Parsons - 1971 - Philosophical Review 80 (2):151-176.details
|
|
Notes on naive semantics.Hans Herzberger - 1982 - Journal of Philosophical Logic 11 (1):61 - 102.details
|
|
Tarski hierarchies.Volker Halbach - 1995 - Erkenntnis 43 (3):339 - 367.details
|
|
Sets and classes.Charles Parsons - 1974 - Noûs 8 (1):1-12.details
|
|
(1 other version)Proof and Truth.Stewart Shapiro - 1998 - Journal of Philosophy 95 (10):493-521.details
|
|
How Innocent Is Deflationism?Volker Halbach - 2001 - Synthese 126 (1-2):167-194.details
|
|
Deflationism and Tarski’s Paradise.Jeffrey Ketland - 1999 - Mind 108 (429):69-94.details
|
|
Axiomatische Wahrheitstheorien.Volker Halbach - 1996 - De Gruyter.details
|
|
Mathematical logic.Joseph R. Shoenfield - 1967 - Reading, Mass.,: Addison-Wesley.details
|
|
(2 other versions)Mathematical Logic.Donald Monk - 1975 - Journal of Symbolic Logic 40 (2):234-236.details
|
|
(1 other version)An Overview of Interpretability Logic.Albert Visser - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 307-359.details
|
|
(1 other version)An Overview of Interpretability Logic.Albert Visser - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 307-359.details
|
|
The Complexity of the Dependence Operator.P. D. Welch - 2015 - Journal of Philosophical Logic 44 (3):337-340.details
|
|
Equivalences for Truth Predicates.Carlo Nicolai - 2017 - Review of Symbolic Logic 10 (2):322-356.details
|
|
Notes on the Computational Aspects of Kripke’s Theory of Truth.Stanislav O. Speranski - 2017 - Studia Logica 105 (2):407-429.details
|
|
Axiomatische Wahrheitstheorien.Volker Halbach - 1999 - Studia Logica 63 (1):138-140.details
|
|