- Reduction of provability logics to Σ1-provability logics.Mohammad Ardeshir & S. Mojtaba Mojtahedi - 2015 - Logic Journal of the IGPL 23 (5):842-847.details
|
|
Hilbert's Program Revisited.Panu Raatikainen - 2003 - Synthese 137 (1-2):157-177.details
|
|
(1 other version)Much shorter proofs: A bimodal investigation.Alessandra Carbone & Franco Montagna - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (1):47-66.details
|
|
(1 other version)Much Shorter Proofs.Dick de Jongh & Franco Montagna - 1989 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 35 (3):247-260.details
|
|
Henkin sentences and local reflection principles for Rosser provability.Taishi Kurahashi - 2016 - Annals of Pure and Applied Logic 167 (2):73-94.details
|
|
A note on the interpretability logic of finitely axiomatized theories.Maarten de Rijke - 1991 - Studia Logica 50 (2):241-250.details
|
|
Some modal aspects of XPath.Balder ten Cate, Gaëlle Fontaine & Tadeusz Litak - 2010 - Journal of Applied Non-Classical Logics 20 (3):139-171.details
|
|
The logic ofII 1-conservativity continued.Petr Hájek & Franco Montagna - 1992 - Archive for Mathematical Logic 32 (1):57-63.details
|
|
The logic of π1-conservativity.Petr Hajek & Franco Montagna - 1990 - Archive for Mathematical Logic 30 (2):113-123.details
|
|
Rosser and mostowski sentences.Franco Montagna & Giovanni Sommaruga - 1988 - Archive for Mathematical Logic 27 (2):115-133.details
|
|
Basic Propositional Calculus I.Mohammad Ardeshir & Wim Ruitenburg - 1998 - Mathematical Logic Quarterly 44 (3):317-343.details
|
|
Interpretability in reflexive theories - a survey.Per Lindström - 1997 - Theoria 63 (3):182-209.details
|
|
The Modal Logic of Gödel Sentences.Hirohiko Kushida - 2010 - Journal of Philosophical Logic 39 (5):577 - 590.details
|
|
Luhmann und die formale mathematik.Boris Hennig - 2000 - In Peter-Ulrich Merz-Benz & Gerhard Wagner (eds.), Die Logik Der Systeme. Universitätsverlag Konstanz.details
|
|
From the Knowability Paradox to the existence of proofs.W. Dean & H. Kurokawa - 2010 - Synthese 176 (2):177 - 225.details
|
|
The formalization of interpretability.Albert Visser - 1991 - Studia Logica 50 (1):81 - 105.details
|
|
Speaking about transitive frames in propositional languages.Yasuhito Suzuki, Frank Wolter & Michael Zakharyaschev - 1998 - Journal of Logic, Language and Information 7 (3):317-339.details
|
|
A note on the interpretability logic of finitely axiomatized theories.Maarten Rijke - 1991 - Studia Logica 50 (2):241 - 250.details
|
|
A note on some extension results.Franco Montagna & Giovanni Sommaruga - 1990 - Studia Logica 49 (4):591 - 600.details
|
|
Explicit fixed points in interpretability logic.Dick Jongh & Albert Visser - 1991 - Studia Logica 50 (1):39 - 49.details
|
|
A simplification of a completeness proof of Guaspari and Solovay.Dick H. J. Jongh - 1987 - Studia Logica 46 (2):187 - 192.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
|
|
Proof-theoretic modal pa-completeness I: A system-sequent metric.Paolo Gentilini - 1999 - Studia Logica 63 (1):27-48.details
|
|
Syntactical results on the arithmetical completeness of modal logic.Paolo Gentilini - 1993 - Studia Logica 52 (4):549 - 564.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
|
|
Varieties of Self-Reference in Metamathematics.Balthasar Grabmayr, Volker Halbach & Lingyuan Ye - 2023 - Journal of Philosophical Logic 52 (4):1005-1052.details
|
|
On a certain fallacy concerning I-am-unprovable sentences.Kaave Lajevardi & Saeed Salehi - manuscriptdetails
|
|
Semantics and Truth.Jan Woleński - 2019 - Cham, Switzerland: Springer Verlag.details
|
|
Rosser Provability and Normal Modal Logics.Taishi Kurahashi - 2020 - Studia Logica 108 (3):597-617.details
|
|
Explicit Fixed Points in Interpretability Logic.Dick de Jongh & Albert Visser - 1991 - Studia Logica 50 (1):39-49.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
|
|
(1 other version)On Rosser's Provability Predicate.V. Yu Shavrukov - 1991 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 37 (19-22):317-330.details
|
|
(1 other version)Rosser Orderings in Bimodal Logics.Alessandra Carbone & Franco Montagna - 1989 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 35 (4):343-358.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
|
|
Paradoxes of Interaction?Johannes Stern & Martin Fischer - 2015 - Journal of Philosophical Logic 44 (3):287-308.details
|
|
(1 other version)Rosser Orderings in Bimodal Logics.Alessandra Carbone & Franco Montagna - 1989 - Mathematical Logic Quarterly 35 (4):343-358.details
|
|
On the structure of paradoxes.Du?ko Pavlovi? - 1992 - Archive for Mathematical Logic 31 (6):397-406.details
|
|
The unprovability of small inconsistency.Albert Visser - 1993 - Archive for Mathematical Logic 32 (4):275-298.details
|
|
Arithmetic analogues of McAloon's unique Rosser sentences.C. Smoryński - 1989 - Archive for Mathematical Logic 28 (1):1-21.details
|
|
On the Difficulty of Writing Out formal Proofs in Arithmetic.Ryo Kashima & Takeshi Yamaguchi - 1997 - Mathematical Logic Quarterly 43 (3):328-332.details
|
|
Inverse Images of Box Formulas in Modal Logic.Lloyd Humberstone - 2013 - Studia Logica 101 (5):1031-1060.details
|
|
Notes on local reflection principles.Lev Beklemishev - 1997 - Theoria 63 (3):139-146.details
|
|
Essay Review.M. Detlefsen - 1988 - History and Philosophy of Logic 9 (1):93-105.details
|
|
(1 other version)Presuppositions, Logic, and Dynamics of Belief.Slavko Brkic - 2004 - Prolegomena 3 (2):151-177.details
|
|
Nonmonotonicity in (the metamathematics of) arithmetic.Karl-Georg Niebergall - 1999 - Erkenntnis 50 (2-3):309-332.details
|
|
The lindenbaum fixed point algebra is undecidable.V. Yu Shavrukov - 1991 - Studia Logica 50 (1):143-147.details
|
|
On the proof of Solovay's theorem.Dick Jongh, Marc Jumelet & Franco Montagna - 1991 - Studia Logica 50 (1):51 - 69.details
|
|
Saving the truth schema from paradox.Hartry Field - 2002 - Journal of Philosophical Logic 31 (1):1-27.details
|
|
Rosser orderings and free variables.Dick de Jongh & Franco Montagna - 1991 - Studia Logica 50 (1):71-80.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
|
|