- Can Modalities Save Naive Set Theory?Peter Fritz, Harvey Lederman, Tiankai Liu & Dana Scott - 2018 - Review of Symbolic Logic 11 (1):21-47.details
|
|
The omega-rule interpretation of transfinite provability logic.David Fernández-Duque & Joost J. Joosten - 2018 - Annals of Pure and Applied Logic 169 (4):333-371.details
|
|
Naïve validity.Julien Murzi & Lorenzo Rossi - 2017 - Synthese 199 (Suppl 3):819-841.details
|
|
(1 other version)Forms of Luminosity: Epistemic Modality and Hyperintensionality in Mathematics.David Elohim - 2017 - Dissertation, Arché, University of St Andrewsdetails
|
|
Self-reference in arithmetic I.Volker Halbach & Albert Visser - 2014 - Review of Symbolic Logic 7 (4):671-691.details
|
|
The Strength of Truth-Theories.Richard Heck - manuscriptdetails
|
|
What is the correct logic of necessity, actuality and apriority?Peter Fritz - 2014 - Review of Symbolic Logic 7 (3):385-414.details
|
|
Reaching Transparent Truth.Pablo Cobreros, Paul Égré, David Ripley & Robert van Rooij - 2013 - Mind 122 (488):841-866.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
|
|
Self-reference and the languages of arithmetic.Richard Heck - 2007 - Philosophia Mathematica 15 (1):1-29.details
|
|
Complexity of the interpretability logic IL.Luka Mikec, Fedor Pakhomov & Mladen Vuković - forthcoming - Logic Journal of the IGPL.details
|
|
Predicate Logics of Constructive Arithmetical Theories.Albert Visser - 2006 - Journal of Symbolic Logic 71 (4):1311 - 1326.details
|
|
On Provability Logics with Linearly Ordered Modalities.Lev D. Beklemishev, David Fernández-Duque & Joost J. Joosten - 2014 - Studia Logica 102 (3):541-566.details
|
|
How do We Know that the Godel Sentence of a Consistent Theory Is True?G. Sereny - 2011 - Philosophia Mathematica 19 (1):47-73.details
|
|
Explicit provability and constructive semantics.Sergei N. Artemov - 2001 - Bulletin of Symbolic Logic 7 (1):1-36.details
|
|
A many-sorted variant of Japaridze’s polymodal provability logic.Gerald Berger, Lev D. Beklemishev & Hans Tompits - 2018 - Logic Journal of the IGPL 26 (5):505-538.details
|
|
A machine-assisted proof of gödel’s incompleteness theorems for the theory of hereditarily finite sets.Lawrence C. Paulson - 2014 - Review of Symbolic Logic 7 (3):484-498.details
|
|
Solovay-Type Theorems for Circular Definitions.Shawn Standefer - 2015 - Review of Symbolic Logic 8 (3):467-487.details
|
|
The logic of justification.Sergei Artemov - 2008 - Review of Symbolic Logic 1 (4):477-513.details
|
|
(1 other version)Self-verifying axiom systems, the incompleteness theorem and related reflection principles.Dan Willard - 2001 - Journal of Symbolic Logic 66 (2):536-596.details
|
|
Interpretability suprema in Peano Arithmetic.Paula Henk & Albert Visser - 2017 - Archive for Mathematical Logic 56 (5-6):555-584.details
|
|
Variations on a Montagovian theme.Wolfgang Schwarz - 2013 - Synthese 190 (16):3377-3395.details
|
|
On How Logic Became First-Order.Matti Eklund - 1996 - Nordic Journal of Philosophical Logic 1 (2):147-67.details
|
|
Gödel, Tarski, Church, and the Liar.György Serény - 2003 - Bulletin of Symbolic Logic 9 (1):3-25.details
|
|
(1 other version)The complexity of the modal predicate logic of "true in every transitive model of ZF".Vann McGee - 1997 - Journal of Symbolic Logic 62 (4):1371-1378.details
|
|
Rosser Provability and Normal Modal Logics.Taishi Kurahashi - 2020 - Studia Logica 108 (3):597-617.details
|
|
Arithmetical Soundness and Completeness for $$\varvec{\Sigma }_{\varvec{2}}$$ Numerations.Taishi Kurahashi - 2018 - Studia Logica 106 (6):1181-1196.details
|
|
Predicativity through transfinite reflection.Andrés Cordón-Franco, David Fernández-Duque, Joost J. Joosten & Francisco Félix Lara-martín - 2017 - Journal of Symbolic Logic 82 (3):787-808.details
|
|
Nested sequents for provability logic GLP: FIG. 1.Daniyar Shamkanov - 2015 - Logic Journal of the IGPL 23 (5):789-815.details
|
|
Bimodal logics for extensions of arithmetical theories.Lev D. Beklemishev - 1996 - Journal of Symbolic Logic 61 (1):91-124.details
|
|
Many-valued logic of informal provability: A non-deterministic strategy.Pawel Pawlowski & Rafal Urbaniak - 2018 - Review of Symbolic Logic 11 (2):207-223.details
|
|
A note on Barcan formula.Antonio Frias Delgado - 2017 - Journal of Applied Non-Classical Logics 27 (3-4):321-327.details
|
|
Marginalia on a theorem of Woodin.Rasmus Blanck & Ali Enayat - 2017 - Journal of Symbolic Logic 82 (1):359-374.details
|
|
Reduction of provability logics to Σ1-provability logics.Mohammad Ardeshir & S. Mojtaba Mojtahedi - 2015 - Logic Journal of the IGPL 23 (5):842-847.details
|
|
Arithmetical interpretations and Kripke frames of predicate modal logic of provability.Taishi Kurahashi - 2013 - Review of Symbolic Logic 6 (1):1-18.details
|
|
The Failure of Leibniz's Infinite Analysis view of Contingency.Joel Velasco - manuscriptdetails
|
|
Generalized quantifiers.Dag Westerståhl - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
Arithmetical Completeness Theorem for Modal Logic $$mathsf{}$$.Taishi Kurahashi - 2018 - Studia Logica 106 (2):219-235.details
|
|
A quick guided tour to the modal logic S4.2.Aggeliki Chalki, Costas D. Koutras & Yorgos Zikos - 2018 - Logic Journal of the IGPL 26 (4):429-451.details
|
|
On the degrees of unsolvability of modal predicate logics of provability.Vann McGee - 1994 - Journal of Symbolic Logic 59 (1):253-261.details
|
|