- Epistemic Modality and Hyperintensionality in Mathematics.David Elohim - 2017 - Dissertation, Arché, University of St Andrewsdetails
|
|
Forms of Luminosity: Epistemic Modality and Hyperintensionality in Mathematics.David Elohim - 2017details
|
|
Epistemic Modality and Hyperintensionality in Mathematics.David Elohim - unknowndetails
|
|
Swyneshed Revisited.Alexander Sandgren - forthcoming - Ergo: An Open Access Journal of Philosophy.details
|
|
A Modal Logic and Hyperintensional Semantics for Gödelian Intuition.David Elohim - manuscriptdetails
|
|
Modality and Hyperintensionality in Mathematics.David Elohim - manuscriptdetails
|
|
A note on Barcan formula.Antonio Frias Delgado - 2017 - Journal of Applied Non-Classical Logics 27 (3-4):321-327.details
|
|
Löb's theorem in a set theoretical setting.Cezary Cieśliński - 2003 - Studia Logica 75 (3):319 - 326.details
|
|
Current Research on Gödel’s Incompleteness Theorems.Yong Cheng - 2021 - Bulletin of Symbolic Logic 27 (2):113-167.details
|
|
Cut Elimination for GLS Using the Terminability of its Regress Process.Jude Brighton - 2016 - Journal of Philosophical Logic 45 (2):147-153.details
|
|
Provability: The emergence of a mathematical modality.George Boolos & Giovanni Sambin - 1991 - Studia Logica 50 (1):1 - 23.details
|
|
Omega-consistency and the diamond.George Boolos - 1980 - Studia Logica 39 (2-3):237 - 243.details
|
|
The uniqueness of the fixed-point in every diagonalizable algebra.Claudio Bernardi - 1976 - Studia Logica 35 (4):335 - 343.details
|
|
The fixed-point theorem for diagonalizable algebras.Claudio Bernardi - 1975 - Studia Logica 34 (3):239 - 251.details
|
|
On the equational class of diagonalizable algebras.Glaudio Bernardi - 1975 - Studia Logica 34 (4):321 - 331.details
|
|
Never trust an unsound theory.Christian Bennet & Rasmus Blanck - 2022 - Theoria 88 (5):1053-1056.details
|
|
Never trust an unsound theory.Christian Bennet & Rasmus Blanck - 2022 - Theoria 88 (5):1053-1056.details
|
|
Never trust an unsound theory.Christian Bennet & Rasmus Blanck - 2022 - Theoria 88 (5):1053-1056.details
|
|
Incompleteness in a general setting.John L. Bell - 2007 - Bulletin of Symbolic Logic 13 (1):21-30.details
|
|
Franco Montagna’s Work on Provability Logic and Many-valued Logic.Lev Beklemishev & Tommaso Flaminio - 2016 - Studia Logica 104 (1):1-46.details
|
|
Iterated local reflection versus iterated consistency.Lev Beklemishev - 1995 - Annals of Pure and Applied Logic 75 (1-2):25-48.details
|
|
Intensionality and the gödel theorems.David D. Auerbach - 1985 - Philosophical Studies 48 (3):337--51.details
|
|
Intuitionistic epistemic logic.Sergei Artemov & Tudor Protopopescu - 2016 - Review of Symbolic Logic 9 (2):266-298.details
|
|
The Σ1-provability logic of HA.Mohammad Ardeshir & Mojtaba Mojtahedi - 2018 - Annals of Pure and Applied Logic 169 (10):997-1043.details
|
|
Proof theory in philosophy of mathematics.Andrew Arana - 2010 - Philosophy Compass 5 (4):336-347.details
|
|
Peter Schroeder-Heister on Proof-Theoretic Semantics.Thomas Piecha & Kai F. Wehmeier (eds.) - 2024 - Springer.details
|
|
Avicenna on Syllogisms Composed of Opposite Premises.Behnam Zolghadr - 2021 - In Mojtaba Mojtahedi, Shahid Rahman & MohammadSaleh Zarepour (eds.), Mathematics, Logic, and their Philosophies: Essays in Honour of Mohammad Ardeshir. Springer. pp. 433-442.details
|
|
Minimalism, Reference, and Paradoxes.Picollo Lavinia - 2016 - In Lavinia Picollo (ed.), The Logica Yearbook 2015.details
|
|
Rethinking Logic: Logic in Relation to Mathematics, Evolution, and Method.Carlo Cellucci - 2013 - Dordrecht, Netherland: Springer.details
|
|
A Geometry of Approximation: Rough Set Theory: Logic, Algebra and Topology of Conceptual Patterns.Piero Pagliani & Mihir Chakraborty - 2008 - Dordrecht, Netherland: Springer.details
|
|
Leo Esakia on Duality in Modal and Intuitionistic Logics.Guram Bezhanishvili (ed.) - 2014 - Dordrecht, Netherland: Springer.details
|
|
Shadows of Syntax: Revitalizing Logical and Mathematical Conventionalism.Jared Warren - 2020 - New York, USA: Oxford University Press.details
|
|
Математизирането на историята: число и битие.Vasil Penchev - 2013 - Sofia: BAS: ISSk (IPR).details
|
|
Отвъд машината на Тюринг: квантовият компютър.Vasil Penchev - 2014 - Sofia: BAS: ISSK (IPS).details
|
|
Философия на квантовата информация.Vasil Penchev - 2009 - Sofia: BAS: IPhR.details
|
|
A Program to Compute G¨odel-L¨ob Fixpoints.Melvin Fitting - unknowndetails
|
|
Paradoxes, Intuitionism, and Proof-Theoretic Semantics.Reinhard Kahle & Paulo Guilherme Santos - 2024 - In Thomas Piecha & Kai F. Wehmeier (eds.), Peter Schroeder-Heister on Proof-Theoretic Semantics. Springer. pp. 363-374.details
|
|
Further Reflections on Sentences Saying of Themselves Strange Things.Elia Zardini - 2017 - Logic and Logical Philosophy 26 (4):563-581.details
|
|
The Necessity of Mathematics.Juhani Yli‐Vakkuri & John Hawthorne - 2018 - Noûs 52 (3):549-577.details
|
|
The Necessity of Mathematics.Juhani Yli-Vakkuri & John Hawthorne - 2020 - Noûs 54 (3):549-577.details
|
|
Passive induction and a solution to a Paris–Wilkie open question.Dan E. Willard - 2007 - Annals of Pure and Applied Logic 146 (2-3):124-149.details
|
|
A predicate calculus for intensional logic.Paul Weingartner - 1973 - Journal of Philosophical Logic 2 (2):220 - 303.details
|
|
Antinomies and paradoxes and their solutions.Paul Weingartner - 1990 - Studies in East European Thought 39 (3-4):313-331.details
|
|
Antinomies and paradoxes and their solutions.Paul Weingartner - 1990 - Studies in Soviet Thought 39 (3-4):313-331.details
|
|
Metamathematics and the philosophy of mind.Judson Webb - 1968 - Philosophy of Science 35 (June):156-78.details
|
|
Conventionalism, Consistency, and Consistency Sentences.Jared Warren - 2015 - Synthese 192 (5):1351-1371.details
|
|
Transductions in arithmetic.Albert Visser - 2016 - Annals of Pure and Applied Logic 167 (3):211-234.details
|
|
The absorption law: Or: how to Kreisel a Hilbert–Bernays–Löb.Albert Visser - 2020 - Archive for Mathematical Logic 60 (3-4):441-468.details
|
|
A modal calculus analogous to k4w, based on intuitionistic propositional logic, iℴ.Aldo Ursini - 1979 - Studia Logica 38 (3):297 - 311.details
|
|
Anderson and Belnap’s Invitation to Sin.Alasdair Urquhart - 2010 - Journal of Philosophical Logic 39 (4):453 - 472.details
|
|