- The Folly of Trying to Define Truth.Donald Davidson - 1996 - Journal of Philosophy 93 (6):263-278.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
|
|
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
|
|
Alfred Tarski: philosophy of language and logic.Douglas Patterson - 2012 - New York: Palgrave-Macmillan.details
|
|
The Folly of Trying to Define Truth.Donald Davidson - 2005-01-01 - In José Medina & David Wood (eds.), Truth. Blackwell.details
|
|
The concept of truth in formalized languages.Alfred Tarski - 1956 - In Logic, semantics, metamathematics. Oxford,: Clarendon Press. pp. 152--278.details
|
|
The Complexity of the Dependence Operator.P. D. Welch - 2015 - Journal of Philosophical Logic 44 (3):337-340.details
|
|
Axiomatizing Kripke’s Theory of Truth.Volker Halbach & Leon Horsten - 2006 - Journal of Symbolic Logic 71 (2):677 - 712.details
|
|
A System of Complete and Consistent Truth.Volker Halbach - 1994 - Notre Dame Journal of Formal Logic 35 (1):311--27.details
|
|
Logic, Semantics, Metamathematics.Atwell Turquette - 1958 - Philosophical Review 67 (1):113.details
|
|
Theory of recursive functions and effective computability.Hartley Rogers - 1987 - Cambridge, Mass.: MIT Press.details
|
|
Theory of Recursive Functions and Effective Computability.Hartley Rogers - 1971 - Journal of Symbolic Logic 36 (1):141-146.details
|
|
What Truth Depends on.Hannes Leitgeb - 2005 - Journal of Philosophical Logic 34 (2):155-192.details
|
|
What theories of truth should be like (but cannot be).Hannes Leitgeb - 2007 - Philosophy Compass 2 (2):276–290.details
|
|
Outline of a theory of truth.Saul Kripke - 1975 - Journal of Philosophy 72 (19):690-716.details
|
|
Kripke and the logic of truth.Michael Kremer - 1988 - Journal of Philosophical Logic 17 (3):225 - 278.details
|
|
Revision Revisited.Leon Horsten, Graham E. Leigh, Hannes Leitgeb & Philip Welch - 2012 - Review of Symbolic Logic 5 (4):642-664.details
|
|
Notes on naive semantics.Hans Herzberger - 1982 - Journal of Philosophical Logic 11 (1):61 - 102.details
|
|
A System Of Complete And Consistent Truth.Volker Halbach - 1994 - Notre Dame Journal of Formal Logic 35 (3):311-327.details
|
|
The Revision Theory of Truth.A. Gupta & N. D. Belnap - 1993 - MIT Press.details
|
|
The Revision Theory of Truth. [REVIEW]Vann McGee - 1996 - Philosophy and Phenomenological Research 56 (3):727-730.details
|
|
Truth and paradox.Anil Gupta - 1982 - Journal of Philosophical Logic 11 (1):1-60.details
|
|
Truth and Paradox.Anil Gupta - 1981 - Journal of Philosophy 78 (11):735-736.details
|
|
Relative truth definability of axiomatic truth theories.Kentaro Fujimoto - 2010 - Bulletin of Symbolic Logic 16 (3):305-344.details
|
|
Reflecting on incompleteness.Solomon Feferman - 1991 - Journal of Symbolic Logic 56 (1):1-49.details
|
|
Axiomatic Theories of Truth.Volker Halbach - 2010 - Cambridge, England: Cambridge University Press.details
|
|
Truth and Modality.Raymond Turner - 1990 - Pitman.details
|
|
Subsystems of Second Order Arithmetic.Stephen George Simpson - 1999 - Springer Verlag.details
|
|
Saving truth from paradox.Hartry H. Field - 2008 - New York: Oxford University Press.details
|
|
Logical frameworks for truth and abstraction: an axiomatic study.Andrea Cantini (ed.) - 1996 - New York: Elsevier Science B.V..details
|
|
The folly of trying to define truth.Donald Davidson - 1996 - Journal of Philosophy 93 (6):263-278.details
|
|
The structure and content of truth.Donald Davidson - 1990 - Journal of Philosophy 87 (6):279-328.details
|
|
Axiomatic theories of truth.Volker Halbach - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
Friedman and the axiomatization of Kripke's theory of truth.John P. Burgess - unknowndetails
|
|
Subsystems of Second Order Arithmetic.Stephen G. Simpson - 1999 - Studia Logica 77 (1):129-129.details
|
|
Truth, Vagueness and Paradox. An Essay on the Logic of Truth.Vann Mcgee - 1992 - Studia Logica 51 (2):340-341.details
|
|
Truth, Vagueness, and Paradox. An Essay on the Logic of Truth.Vann Mcgee & Giovanni Sommaruga-Rosolemos - 1993 - Critica 25 (73):83-108.details
|
|