- Naturalización de la Metafísica Modal.Carlos Romero - 2021 - Dissertation, National Autonomous University of Mexicodetails
|
|
(1 other version)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
|
|
Can Modalities Save Naive Set Theory?Peter Fritz, Harvey Lederman, Tiankai Liu & Dana Scott - 2018 - Review of Symbolic Logic 11 (1):21-47.details
|
|
Intermediate Logics and the de Jongh property.Dick Jongh, Rineke Verbrugge & Albert Visser - 2011 - Archive for Mathematical Logic 50 (1-2):197-213.details
|
|
Formulas of one propositional variable in intuitionistic logic with the Solovay modality.Leo Esakia & Revaz Grigolia - 2008 - Logic and Logical Philosophy 17 (1-2):111-127.details
|
|
Interpolation and the Interpretability Logic of PA.Evan Goris - 2006 - Notre Dame Journal of Formal Logic 47 (2):179-195.details
|
|
The Principles of Interpretability.Mladen Vuković - 1999 - Notre Dame Journal of Formal Logic 40 (2):227-235.details
|
|
The knower paradox in the light of provability interpretations of modal logic.Paul Égré - 2004 - Journal of Logic, Language and Information 14 (1):13-48.details
|
|
Solutions to the Knower Paradox in the Light of Haack’s Criteria.Mirjam de Vos, Rineke Verbrugge & Barteld Kooi - 2023 - Journal of Philosophical Logic 52 (4):1101-1132.details
|
|
Some Remarks on Assertion and Proof.Massimliano Carrara - 2021 - Journal of Applied Logics 8 (21):321-328.details
|
|
Is ‘Knowing that P’ Identical with ‘Knowing that “P” Is True’?Changsheng Lai - 2021 - Philosophia 48 (3):1075-1092.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
|
|
Liar-type Paradoxes and the Incompleteness Phenomena.Makoto Kikuchi & Taishi Kurahashi - 2016 - Journal of Philosophical Logic 45 (4):381-398.details
|
|
Interpolation and implicit definability in extensions of the provability logic.Larisa Maksimova - 2008 - Logic and Logical Philosophy 17 (1-2):129-142.details
|
|
Variations on a Montagovian theme.Wolfgang Schwarz - 2013 - Synthese 190 (16):3377-3395.details
|
|
A Simple Proof of Arithmetical Completeness for $\Pi_1$ -Conservativity Logic.Giorgi Japaridze - 1994 - Notre Dame Journal of Formal Logic 35 (3):346-354.details
|
|
The modal logic of provability. The sequential approach.Giovanni Sambin & Silvio Valentini - 1982 - Journal of Philosophical Logic 11 (3):311 - 342.details
|
|
Arithmetical Soundness and Completeness for $$\varvec{\Sigma }_{\varvec{2}}$$ Numerations.Taishi Kurahashi - 2018 - Studia Logica 106 (6):1181-1196.details
|
|
Arithmetical Completeness Theorem for Modal Logic $$mathsf{}$$.Taishi Kurahashi - 2018 - Studia Logica 106 (2):219-235.details
|
|
The modal logic of Reverse Mathematics.Carl Mummert, Alaeddine Saadaoui & Sean Sovine - 2015 - Archive for Mathematical Logic 54 (3-4):425-437.details
|
|
A system of natural deduction for GL.Gianluigi Bellin - 1985 - Theoria 51 (2):89-114.details
|
|
Informal provability and dialetheism.Pawel Pawlowski & Rafal Urbaniak - 2023 - Theoria 89 (2):204-215.details
|
|
On Independent Axiomatizability of Quasi-Normal Modal Logics.Igor Gorbunov & Dmitry Shkatov - 2022 - Studia Logica 110 (5):1189-1217.details
|
|
The Context of Inference.Curtis Franks - 2018 - History and Philosophy of Logic 39 (4):365-395.details
|
|
A Short Note on Essentially Σ1 Sentences.Franco Montagna & Duccio Pianigiani - 2013 - Logica Universalis 7 (1):103-111.details
|
|
The Modal Logic of Gödel Sentences.Hirohiko Kushida - 2010 - Journal of Philosophical Logic 39 (5):577 - 590.details
|
|
Leo Esakia on Duality in Modal and Intuitionistic Logics.Guram Bezhanishvili (ed.) - 2014 - Dordrecht, Netherland: Springer.details
|
|
The de Jongh property for Basic Arithmetic.Mohammad Ardeshir & S. Mojtaba Mojtahedi - 2014 - Archive for Mathematical Logic 53 (7):881-895.details
|
|
Models of transfinite provability logic.David Fernández-Duque & Joost J. Joosten - 2013 - Journal of Symbolic Logic 78 (2):543-561.details
|
|
On the logic of reducibility: Axioms and examples. [REVIEW]Karl-Georg Niebergall - 2000 - Erkenntnis 53 (1-2):27-61.details
|
|
Provability, truth, and modal logic.George Boolos - 1980 - Journal of Philosophical Logic 9 (1):1 - 7.details
|
|
Rosser Provability and Normal Modal Logics.Taishi Kurahashi - 2020 - Studia Logica 108 (3):597-617.details
|
|
The polytopologies of transfinite provability logic.David Fernández-Duque - 2014 - Archive for Mathematical Logic 53 (3-4):385-431.details
|
|
An operational logic of proofs with positive and negative information.Duccio Luchi & Franco Montagna - 1999 - Studia Logica 63 (1):7-25.details
|
|
Non-deterministic Logic of Informal Provability has no Finite Characterization.Pawel Pawlowski - 2021 - Journal of Logic, Language and Information 30 (4):805-817.details
|
|
Cut Elimination for GLS Using the Terminability of its Regress Process.Jude Brighton - 2016 - Journal of Philosophical Logic 45 (2):147-153.details
|
|
How to extend the dialogical approach to provability logic.Ulrich Nortmann - 2001 - Synthese 127 (1-2):95 - 103.details
|
|
Anderson and Belnap’s Invitation to Sin.Alasdair Urquhart - 2010 - Journal of Philosophical Logic 39 (4):453 - 472.details
|
|
Fixed-point properties for predicate modal logics.Sohei Iwata & Taishi Kurahashi - 2020 - Annals of the Japan Association for Philosophy of Science 29:1-25.details
|
|
Conditions of Rationality for Scientific Research.Paul Weingartner - 2019 - Kriterion - Journal of Philosophy 33 (2):67-118.details
|
|
A Proof Theory for the Logic of Provability in True Arithmetic.Hirohiko Kushida - 2020 - Studia Logica 108 (4):857-875.details
|
|
The provability logics of recursively enumerable theories extending peano arithmetic at arbitrary theories extending peano arithmetic.Albert Visser - 1984 - Journal of Philosophical Logic 13 (1):97 - 113.details
|
|
On the complexity of arithmetical interpretations of modal formulae.Lev D. Beklemishev - 1993 - Archive for Mathematical Logic 32 (3):229-238.details
|
|
A Geometry of Approximation: Rough Set Theory: Logic, Algebra and Topology of Conceptual Patterns.Piero Pagliani & Mihir Chakraborty - 2008 - Dordrecht, Netherland: Springer.details
|
|
Proof-theoretic modal pa-completeness I: A system-sequent metric.Paolo Gentilini - 1999 - Studia Logica 63 (1):27-48.details
|
|
On Inclusions Between Quantified Provability Logics.Taishi Kurahashi - 2021 - Studia Logica 110 (1):165-188.details
|
|
Modal tableau calculi and interpolation.Wolfgang Rautenberg - 1983 - Journal of Philosophical Logic 12 (4):403 - 423.details
|
|
On propositional quantifiers in provability logic.Sergei N. Artemov & Lev D. Beklemishev - 1993 - Notre Dame Journal of Formal Logic 34 (3):401-419.details
|
|
Relatively precomplete numerations and arithmetic.Franco Montagna - 1982 - Journal of Philosophical Logic 11 (4):419 - 430.details
|
|