- Revision Without Revision Sequences: Circular Definitions.Edoardo Rivello - 2019 - Journal of Philosophical Logic 48 (1):57-85.details
|
|
Notes on Formal Theories of Truth.Andrea Cantini - 1989 - Mathematical Logic Quarterly 35 (2):97-130.details
|
|
Levels of implication and type free theories of classifications with approximation operator.Andrea Cantini - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):107-141.details
|
|
The Completeness of L (P).Philip W. Grant - 1978 - Mathematical Logic Quarterly 24 (19-24):357-364.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
|
|
A proof-theoretic framework for logic programming.Gerhard Jäger & Robert F. Stärk - 1998 - In Samuel R. Buss (ed.), Handbook of proof theory. New York: Elsevier. pp. 639--682.details
|
|
Fixed-point extensions of first-order logic.Yuri Gurevich & Saharon Shelah - 1986 - Annals of Pure and Applied Logic 32:265-280.details
|
|
Intrinsically Hyperarithmetical Sets.Ivan N. Soskov - 1996 - Mathematical Logic Quarterly 42 (1):469-480.details
|
|
Levels of implication and type free theories of classifications with approximation operator.Andrea Cantini - 1992 - Mathematical Logic Quarterly 38 (1):107-141.details
|
|
Proof theory and ordinal analysis.W. Pohlers - 1991 - Archive for Mathematical Logic 30 (5-6):311-376.details
|
|
Reaching Transparent Truth.Pablo Cobreros, Paul Égré, David Ripley & Robert van Rooij - 2013 - Mind 122 (488):841-866.details
|
|
Notes on Formal Theories of Truth.Andrea Cantini - 1989 - Zeitshrift für Mathematische Logik Und Grundlagen der Mathematik 35 (1):97--130.details
|
|
A note on theories for quasi-inductive definitions.Riccardo Bruni - 2009 - Review of Symbolic Logic 2 (4):684-699.details
|
|
Definitions.Anil Gupta - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
Tarski hierarchies.Volker Halbach - 1995 - Erkenntnis 43 (3):339 - 367.details
|
|
Finite level borel games and a problem concerning the jump hierarchy.Harold T. Hodes - 1984 - Journal of Symbolic Logic 49 (4):1301-1318.details
|
|
A contextual–hierarchical approach to truth and the liar paradox.Michael Glanzberg - 2004 - Journal of Philosophical Logic 33 (1):27-88.details
|
|
Two conceptions of truth? – Comment.V. Mc Gee - 2005 - Philosophical Studies 124 (1):71 - 104.details
|
|
Predicativity and constructive mathematics.Laura Crosilla - 2022 - In Gianluigi Oliveri, Claudio Ternullo & Stefano Boscolo (eds.), Objects, Structures, and Logics. Cham (Switzerland): Springer.details
|
|
Grounding, Quantifiers, and Paradoxes.Francesco A. Genco, Francesca Poggiolesi & Lorenzo Rossi - 2021 - Journal of Philosophical Logic 50 (6):1417-1448.details
|
|
Principles for Object-Linguistic Consequence: from Logical to Irreflexive.Carlo Nicolai & Lorenzo Rossi - 2018 - Journal of Philosophical Logic 47 (3):549-577.details
|
|
Some Notes on Truths and Comprehension.Thomas Schindler - 2018 - Journal of Philosophical Logic 47 (3):449-479.details
|
|
On the Costs of Nonclassical Logic.Volker Halbach & Carlo Nicolai - 2018 - Journal of Philosophical Logic 47 (2):227-257.details
|
|
The analytical completeness of Dzhaparidze's polymodal logics.George Boolos - 1993 - Annals of Pure and Applied Logic 61 (1-2):95-111.details
|
|
Intrinsically II 11 Relations.Ivan N. Soskov - 1996 - Mathematical Logic Quarterly 42 (1):109-126.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
|
|
A Theory of Operations on the Universe I. The Theory of Iteration and F‐Ordinals.Narciso Garcia - 1991 - Mathematical Logic Quarterly 37 (25):385-392.details
|
|
Second‐order and Inductive Definability on Finite Structures.Michel De Rougemont - 1987 - Mathematical Logic Quarterly 33 (1):47-63.details
|
|
First-order theories for pure Prolog programs with negation.Robert F. Stärk - 1995 - Archive for Mathematical Logic 34 (2):113-144.details
|
|
A logic of abstraction related to finite constructive number classes.Andrea Cantini - 1991 - Archive for Mathematical Logic 31 (1):69-83.details
|
|
Four valued semantics and the liar.Albert Visser - 1984 - Journal of Philosophical Logic 13 (2):181 - 212.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
|
|
How truthlike can a predicate be? A negative result.Vann McGee - 1985 - Journal of Philosophical Logic 14 (4):399 - 410.details
|
|
Guarded quantification in least fixed point logic.Gregory McColm - 2004 - Journal of Logic, Language and Information 13 (1):61-110.details
|
|
Comparing inductive and circular definitions: Parameters, complexity and games.Kai-Uwe Küdhnberger, Benedikt Löwe, Michael Möllerfeld & Philip Welch - 2005 - Studia Logica 81 (1):79 - 98.details
|
|
Fixed point logics.Anuj Dawar & Yuri Gurevich - 2002 - Bulletin of Symbolic Logic 8 (1):65-88.details
|
|
A note on three-valued logic and Tarski theorem on truth definitions.Andrea Cantini - 1980 - Studia Logica 39 (4):405 - 414.details
|
|
The Completeness of L (P).Philip W. Grant - 1978 - Mathematical Logic Quarterly 24 (19-24):357-364.details
|
|
A Buchholz Rule for Modal Fixed Point Logics.Gerhard Jäger & Thomas Studer - 2011 - Logica Universalis 5 (1):1-19.details
|
|
Monotonicity in opaque verbs.Thomas Ede Zimmermann - 2006 - Linguistics and Philosophy 29 (6):715 - 761.details
|
|
Tarskian and Kripkean truth.Volker Halbach - 1997 - Journal of Philosophical Logic 26 (1):69-80.details
|
|
Possible-worlds semantics for modal notions conceived as predicates.Volker Halbach, Hannes Leitgeb & Philip Welch - 2003 - Journal of Philosophical Logic 32 (2):179-223.details
|
|
De Finettian Logics of Indicative Conditionals Part II: Proof Theory and Algebraic Semantics.Paul Égré, Lorenzo Rossi & Jan Sprenger - 2021 - Journal of Philosophical Logic 50 (2):215-247.details
|
|
Supervaluation fixed-point logics of truth.Philip Kremer & Alasdair Urquhart - 2008 - Journal of Philosophical Logic 37 (5):407-440.details
|
|
Infinitary tableau for semantic truth.Toby Meadows - 2015 - Review of Symbolic Logic 8 (2):207-235.details
|
|
One Hundred Years of Semantic Paradox.Leon Horsten - 2015 - Journal of Philosophical Logic (6):1-15.details
|
|
Positive set-operators of low complexity.Athanossios Tzouvaras - 2003 - Mathematical Logic Quarterly 49 (3):284.details
|
|
What is so special with the powerset operation?Athanassios Tzouvaras - 2004 - Archive for Mathematical Logic 43 (6):723-737.details
|
|
Necessities and Necessary Truths: A Prolegomenon to the Use of Modal Logic in the Analysis of Intensional Notions.V. Halbach & P. Welch - 2009 - Mind 118 (469):71-100.details
|
|
Games for truth.P. D. Welch - 2009 - Bulletin of Symbolic Logic 15 (4):410-427.details
|
|