- A new model construction by making a detour via intuitionistic theories IV: A closer connection between KPω and BI.Kentaro Sato - 2024 - Annals of Pure and Applied Logic 175 (7):103422.details
|
|
The Copernican Multiverse of Sets.Paul K. Gorbow & Graham E. Leigh - 2022 - Review of Symbolic Logic 15 (4):1033-1069.details
|
|
Varieties of Class-Theoretic Potentialism.Neil Barton & Kameryn J. Williams - 2024 - Review of Symbolic Logic 17 (1):272-304.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
|
|
Unifying the Philosophy of Truth.Theodora Achourioti, Henri Galinon, José Martínez Fernández & Kentaro Fujimoto (eds.) - 2015 - Dordrecht, Netherland: Springer.details
|
|
Minimum models of second-order set theories.Kameryn J. Williams - 2019 - Journal of Symbolic Logic 84 (2):589-620.details
|
|
Disquotation and Infinite Conjunctions.Thomas Schindler & Lavinia Picollo - 2017 - Erkenntnis 83 (5):899-928.details
|
|
Full and hat inductive definitions are equivalent in NBG.Kentaro Sato - 2015 - Archive for Mathematical Logic 54 (1-2):75-112.details
|
|
Modal structuralism and reflection.Sam Roberts - 2019 - Review of Symbolic Logic 12 (4):823-860.details
|
|
Inner mantles and iterated HOD.Jonas Reitz & Kameryn J. Williams - 2019 - Mathematical Logic Quarterly 65 (4):498-510.details
|
|
A Note on Typed Truth and Consistency Assertions.Carlo Nicolai - 2016 - Journal of Philosophical Logic 45 (1):89-119.details
|
|
Axiomatic truth, syntax and metatheoretic reasoning.Graham E. Leigh & Carlo Nicolai - 2013 - Review of Symbolic Logic 6 (4):613-636.details
|
|
The Groundedness Approach to Class Theory.Jönne Kriener - 2014 - Inquiry: An Interdisciplinary Journal of Philosophy 57 (2):244-273.details
|
|
Finitist Axiomatic Truth.Sato Kentaro & Jan Walker - 2023 - Journal of Symbolic Logic 88 (1):22-73.details
|
|
Elementary inductive dichotomy: Separation of open and clopen determinacies with infinite alternatives.Kentaro Sato - 2020 - Annals of Pure and Applied Logic 171 (3):102754.details
|
|
One Hundred Years of Semantic Paradox.Leon Horsten - 2015 - Journal of Philosophical Logic (6):1-15.details
|
|
The Substitutional Analysis of Logical Consequence.Volker Halbach - 2019 - Noûs 54 (2):431-450.details
|
|
Set-theoretic blockchains.Miha E. Habič, Joel David Hamkins, Lukas Daniel Klausner, Jonathan Verner & Kameryn J. Williams - 2019 - Archive for Mathematical Logic 58 (7-8):965-997.details
|
|
The exact strength of the class forcing theorem.Victoria Gitman, Joel David Hamkins, Peter Holy, Philipp Schlicht & Kameryn J. Williams - 2020 - Journal of Symbolic Logic 85 (3):869-905.details
|
|
Truths, Inductive Definitions, and Kripke-Platek Systems Over Set Theory.Kentaro Fujimoto - 2018 - Journal of Symbolic Logic 83 (3):868-898.details
|
|
The Function of Truth and the Conservativeness Argument.Kentaro Fujimoto - 2022 - Mind 131 (521):129-157.details
|
|
On the Logicality of Truth.Kentaro Fujimoto - 2022 - Philosophical Quarterly 72 (4):853-874.details
|
|
First‐order undefinability of the notion of transfinitely uplifting cardinals.Kentaro Fujimoto - 2021 - Mathematical Logic Quarterly 67 (1):105-115.details
|
|
A few more dissimilarities between second-order arithmetic and set theory.Kentaro Fujimoto - 2022 - Archive for Mathematical Logic 62 (1):147-206.details
|
|
Deflationism beyond arithmetic.Kentaro Fujimoto - 2019 - Synthese 196 (3):1045-1069.details
|
|
The expressive power of truth.Martin Fischer & Leon Horsten - 2015 - Review of Symbolic Logic 8 (2):345-369.details
|
|
Hypatia's silence.Martin Fischer, Leon Horsten & Carlo Nicolai - 2021 - Noûs 55 (1):62-85.details
|
|
Set theoretical analogues of the Barwise-Schlipf theorem.Ali Enayat - 2022 - Annals of Pure and Applied Logic 173 (9):103158.details
|
|
Arithmetical Reflection and the Provability of Soundness.Walter Dean - 2015 - Philosophia Mathematica 23 (1):31-64.details
|
|
Axioms for Type-Free Subjective Probability.Cezary Cieśliński, Leon Horsten & Hannes Leitgeb - forthcoming - Review of Symbolic Logic:1-16.details
|
|
A fixed point theory over stratified truth.Andrea Cantini - 2020 - Mathematical Logic Quarterly 66 (4):380-394.details
|
|
Universism and extensions of V.Carolin Antos, Neil Barton & Sy-David Friedman - 2021 - Review of Symbolic Logic 14 (1):112-154.details
|
|
Axiomatic theories of truth.Volker Halbach - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
Paradoxes and contemporary logic.Andrea Cantini - 2008 - Stanford Encyclopedia of Philosophy.details
|
|