- A Proof Theory for the Logic of Provability in True Arithmetic.Hirohiko Kushida - 2020 - Studia Logica 108 (4):857-875.details
|
|
On Inclusions Between Quantified Provability Logics.Taishi Kurahashi - 2021 - Studia Logica 110 (1):165-188.details
|
|
(1 other version)Provability logic in the Gentzen formulation of arithmetic.Paolo Gentilini & P. Gentilini - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):535-550.details
|
|
Positional value and linguistic recursion.John Kadvany - 2007 - Journal of Indian Philosophy 35 (5-6):487-520.details
|
|
Generic generalized Rosser fixed points.Dick H. J. Jongh & Franco Montagna - 1987 - Studia Logica 46 (2):193 - 203.details
|
|
Explicit fixed points in interpretability logic.Dick Jongh & Albert Visser - 1991 - Studia Logica 50 (1):39 - 49.details
|
|
European summer meeting of the association for symbolic logic.Chris Johnson, John Stell & Alan Treherne - 1995 - Bulletin of Symbolic Logic 1 (1):85-115.details
|
|
Modal Logic for Other-World Agnostics: Neutrality and Halldén Incompleteness.Lloyd Humberstone - 2007 - Journal of Philosophical Logic 36 (1):1-32.details
|
|
One-Step Modal Logics, Intuitionistic and Classical, Part 2.Harold T. Hodes - 2021 - Journal of Philosophical Logic 50 (5):873-910.details
|
|
A formalization of Sambins's normalization for GL.Edward Hermann Haeusler & Luiz Carlos Pereira - 1993 - Mathematical Logic Quarterly 39 (1):133-142.details
|
|
“Conservative” Kripke closures.Raymond D. Gumb - 1984 - Synthese 60 (1):39 - 49.details
|
|
Proof-theoretic modal pa-completeness I: A system-sequent metric.Paolo Gentilini - 1999 - Studia Logica 63 (1):27-48.details
|
|
Proof-theoretic modal PA-Completeness III: The syntactic proof.Paolo Gentilini - 1999 - Studia Logica 63 (3):301-310.details
|
|
(1 other version)Provability logic in the Gentzen formulation of arithmetic.Paolo Gentilini & P. Gentilini - 1992 - Mathematical Logic Quarterly 38 (1):535-550.details
|
|
Modal Platonism: an Easy Way to Avoid Ontological Commitment to Abstract Entities.Joel I. Friedman - 2005 - Journal of Philosophical Logic 34 (3):227-273.details
|
|
Graded modalities. I.M. Fattorosi-Barnaba & F. Caro - 1985 - Studia Logica 44 (2):197 - 221.details
|
|
The logic of linear tolerance.Giorgie Dzhaparidze - 1992 - Studia Logica 51 (2):249 - 277.details
|
|
Models for stronger normal intuitionistic modal logics.Kosta Došen - 1985 - Studia Logica 44 (1):39 - 70.details
|
|
(1 other version)Provable Fixed Points.Dick De Jongh & Franco Montagna - 1988 - Mathematical Logic Quarterly 34 (3):229-250.details
|
|
(1 other version)Provable Fixed Points.Dick De Jongh & Franco Montagna - 1988 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 34 (3):229-250.details
|
|
Explicit Fixed Points in Interpretability Logic.Dick de Jongh & Albert Visser - 1991 - Studia Logica 50 (1):39-49.details
|
|
How to Say Things with Formalisms.David Auerbach - 1992 - In Michael Detlefsen (ed.), Proof, Logic and Formalization. London, England: Routledge. pp. 77--93.details
|
|
Complete, Recursively Enumerable Relations in Arithmetic.Giovanna D'Agostino & Mario Magnago - 1995 - Mathematical Logic Quarterly 41 (1):65-72.details
|
|
Incompleteness and the Barcan formula.M. J. Cresswell - 1995 - Journal of Philosophical Logic 24 (4):379 - 403.details
|
|
Intensionality and the gödel theorems.David D. Auerbach - 1985 - Philosophical Studies 48 (3):337--51.details
|
|
Quantified Quinean S.Paul Schweizer - 1993 - Journal of Philosophical Logic 22 (6):589 - 605.details
|
|
On some proof theoretical properties of the modal logic GL.Marco Borga - 1983 - Studia Logica 42 (4):453 - 459.details
|
|
On systems of modal logic with provability interpretations.George Boolos - 1980 - Theoria 46 (1):7-18.details
|
|
Models for normal intuitionistic modal logics.Milan Božić & Kosta Došen - 1984 - Studia Logica 43 (3):217 - 245.details
|
|
A system of natural deduction for GL.Gianluigi Bellin - 1985 - Theoria 51 (2):89-114.details
|
|
A translation from the modal logic of provability into K4.Philippe Balbiani & Andreas Herzig - 1994 - Journal of Applied Non-Classical Logics 4 (1):73-77.details
|
|
Explicit provability and constructive semantics. [REVIEW]Jeremy D. Avigad - 2002 - Bulletin of Symbolic Logic 8 (3):432-432.details
|
|
Basic Propositional Calculus I.Mohammad Ardeshir & Wim Ruitenburg - 1998 - Mathematical Logic Quarterly 44 (3):317-343.details
|
|
Del escándalo al cálculo: nuevas aventuras de la autorreferencia.Enrique Alonso González - 1994 - Endoxa 1 (4):43.details
|
|
Advances in Modal Logic, Vol. 13.Nicola Olivetti & Rineke Verbrugge (eds.) - 2020 - College Publications.details
|
|
Representing the knowledge of turing machines.Hyun Song Shin & Timothy Williamson - 1994 - Theory and Decision 37 (1):125-146.details
|
|
Provability logic.Rineke Verbrugge - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
The modal logic of provability. The sequential approach.Giovanni Sambin & Silvio Valentini - 1982 - Journal of Philosophical Logic 11 (3):311 - 342.details
|
|
(1 other version)A Syntactic Proof of Cut-Elimination For GLlin.S. Valentini - 1986 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 32 (7-9):137-144.details
|
|
Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Gödel's Theorems.Rod J. L. Adams & Roman Murawski - 1999 - Dordrecht, Netherland: Springer Verlag.details
|
|
Ficcionalismo matemático y si-entoncismo russelliano¿ dos caras de la misma moneda?Wilfredo Quezada Pulido - 2004 - Revista de Filosofía (Madrid) 29 (2):73-97.details
|
|
(1 other version)How to extend the dialogical approach to provability logic.Ulrich Nortmann - 2001 - Synthese 127 (1-2):95 - 103.details
|
|
A propositional logic with explicit fixed points.Albert Visser - 1981 - Studia Logica 40 (2):155 - 175.details
|
|
Logika a logiky.Jaroslav Peregrin - manuscriptdetails
|
|
Natural Deduction, Hybrid Systems and Modal Logics.Andrzej Indrzejczak - 2010 - Dordrecht, Netherland: Springer.details
|
|
Zfc‐models as kripke‐models.Franco Montagna - 1983 - Mathematical Logic Quarterly 29 (3):163-168.details
|
|
(1 other version)Effort and demand logic in medical decision making.G. William Moore & Grover M. Hutchins - 1980 - Metamedicine 1 (3):277-303.details
|
|
The modal logic of consistency assertions of peano arithmetic.Silvio Valentini - 1983 - Mathematical Logic Quarterly 29 (1):25-32.details
|
|
(1 other version)Ein neuer “strukturtyp” Von logikbuch? [REVIEW]Ulrich Nortmann - 1987 - Erkenntnis 27 (1):113 - 145.details
|
|
Leo Esakia on Duality in Modal and Intuitionistic Logics.Guram Bezhanishvili (ed.) - 2014 - Dordrecht, Netherland: Springer.details
|
|