- Unifying the Philosophy of Truth.Theodora Achourioti, Henri Galinon, José Martínez Fernández & Kentaro Fujimoto (eds.) - 2015 - Dordrecht, Netherland: Springer.details
|
|
A Disquotational Theory of Truth as Strong as Z 2 −.Thomas Schindler - 2015 - Journal of Philosophical Logic 44 (4):395-410.details
|
|
Proof theory and ordinal analysis.W. Pohlers - 1991 - Archive for Mathematical Logic 30 (5-6):311-376.details
|
|
Omega‐ and Beta‐Models of Alternative Set Theory.Athanassios Tzouvaras - 1994 - Mathematical Logic Quarterly 40 (4):547-569.details
|
|
Inessential features, ineliminable features, and modal logics for model theoretic syntax.Hans-Jörg Tiede - 2008 - Journal of Logic, Language and Information 17 (2):217-227.details
|
|
Forcing and antifoundation.Athanassios Tzouvaras - 2005 - Archive for Mathematical Logic 44 (5):645-661.details
|
|
Full and hat inductive definitions are equivalent in NBG.Kentaro Sato - 2015 - Archive for Mathematical Logic 54 (1-2):75-112.details
|
|
(1 other version)Intrinsically II 11 Relations.Ivan N. Soskov - 1996 - Mathematical Logic Quarterly 42 (1):109-126.details
|
|
Some Notes on Truths and Comprehension.Thomas Schindler - 2018 - Journal of Philosophical Logic 47 (3):449-479.details
|
|
Truth, Pretense and the Liar Paradox.Bradley Armour-Garb & James A. Woodbridge - 2015 - In T. Achourioti, H. Galinon, J. Martínez Fernández & K. Fujimoto (eds.), Unifying the Philosophy of Truth. Dordrecht: Imprint: Springer. pp. 339-354.details
|
|
How to develop Proof‐Theoretic Ordinal Functions on the basis of admissible ordinals.Michael Rathjen - 1993 - Mathematical Logic Quarterly 39 (1):47-54.details
|
|
Non-reflexivity and Revenge.Julien Murzi & Lorenzo Rossi - 2021 - Journal of Philosophical Logic 51 (1):201-218.details
|
|
Adding a Conditional to Kripke’s Theory of Truth.Lorenzo Rossi - 2016 - Journal of Philosophical Logic 45 (5):485-529.details
|
|
Principles for Object-Linguistic Consequence: from Logical to Irreflexive.Carlo Nicolai & Lorenzo Rossi - 2018 - Journal of Philosophical Logic 47 (3):549-577.details
|
|
ŁΠ logic with fixed points.Luca Spada - 2008 - Archive for Mathematical Logic 47 (7-8):741-763.details
|
|
Games for truth.P. D. Welch - 2009 - Bulletin of Symbolic Logic 15 (4):410-427.details
|
|
Rethinking Revision.P. D. Welch - 2019 - Journal of Philosophical Logic 48 (1):137-154.details
|
|
Intrinsically Hyperarithmetical Sets.Ivan N. Soskov - 1996 - Mathematical Logic Quarterly 42 (1):469-480.details
|
|
First-order theories for pure Prolog programs with negation.Robert F. Stärk - 1995 - Archive for Mathematical Logic 34 (2):113-144.details
|
|
Four valued semantics and the liar.Albert Visser - 1984 - Journal of Philosophical Logic 13 (2):181 - 212.details
|
|
(1 other version)Iterating the Superjump Along Definable Prewellorderings.Galen Weitkamp - 1982 - Mathematical Logic Quarterly 28 (27‐32):385-394.details
|
|
Monotonicity in opaque verbs.Thomas Ede Zimmermann - 2006 - Linguistics and Philosophy 29 (6):715 - 761.details
|
|
(1 other version)Iterating the Superjump Along Definable Prewellorderings.Galen Weitkamp - 1982 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 28 (27-32):385-394.details
|
|
Positive set-operators of low complexity.Athanossios Tzouvaras - 2003 - Mathematical Logic Quarterly 49 (3):284.details
|
|