- A Modal Analysis of Some Principles of the Provability of Logic of Heyting Arithmetic.Rosalie Iemhoff - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 319-354.details
|
|
Calibrating Provability Logic: From Modal Logic to Reflection Calculus.Lev Beklemishev - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 89-94.details
|
|
Interpolation, Definability and Fixed Points in Interpretability Logics.Carlos Areces, Eva Hoogland & Dick de Jongh - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 53-76.details
|
|
Provability, Mechanism, and the Diagonal Problem.Graham Leach-Krouse - 2016 - In Leon Horsten & Philip Welch (eds.), Godel's Disjunction: The Scope and Limits of Mathematical Knowledge. Oxford, England: Oxford University Press UK. pp. 211-240.details
|
|
Grundlagen der mathematik.David Hilbert & Paul Bernays - 1934 - Berlin,: J. Springer. Edited by Paul Bernays.details
|
|
Closed fragments of provability logics of constructive theories.Albert Visser - 2008 - Journal of Symbolic Logic 73 (3):1081-1096.details
|
|
Metamathematical investigation of intuitionistic arithmetic and analysis.Anne S. Troelstra - 1973 - New York,: Springer.details
|
|
Logic of proofs and provability.Tatiana Yavorskaya - 2001 - Annals of Pure and Applied Logic 113 (1-3):345-372.details
|
|
A smart child of Peano's.V. Yu Shavrukov - 1994 - Notre Dame Journal of Formal Logic 35 (2):161-185.details
|
|
The Second Incompleteness Theorem and Bounded Interpretations.Albert Visser - 2012 - Studia Logica 100 (1-2):399-418.details
|
|
Substitutions of Σ10-sentences: explorations between intuitionistic propositional logic and intuitionistic arithmetic.Albert Visser - 2002 - Annals of Pure and Applied Logic 114 (1-3):227-271.details
|
|
Provability logic and the completeness principle.Albert Visser & Jetze Zoethout - 2019 - Annals of Pure and Applied Logic 170 (6):718-753.details
|
|
Modal Logic and Self-Reference.Albert Visser & Craig Smorynski - 1989 - Journal of Symbolic Logic 54 (4):1479.details
|
|
Another look at the second incompleteness theorem.Albert Visser - 2020 - Review of Symbolic Logic 13 (2):269-295.details
|
|
A course on bimodal provability logic.Albert Visser - 1995 - Annals of Pure and Applied Logic 73 (1):109-142.details
|
|
On the provability logic of bounded arithmetic.Rineke Verbrugge & Alessandro Berarducci - 1991 - Annals of Pure and Applied Logic 61 (1-2):75-93.details
|
|
Modal analysis of generalized Rosser sentences.Vítězslav Švejdar - 1983 - Journal of Symbolic Logic 48 (4):986-999.details
|
|
Four Paradoxes.J. F. A. K. Van Benthem - 1978 - Journal of Philosophical Logic 7 (1):49-72.details
|
|
Admissible rules for six intuitionistic modal logics.Iris van der Giessen - 2023 - Annals of Pure and Applied Logic 174 (4):103233.details
|
|
The modal logic of provability: Cut-elimination. [REVIEW]Silvio Valentini - 1983 - Journal of Philosophical Logic 12 (4):471 - 476.details
|
|
Transfinite induction within Peano arithmetic.Richard Sommer - 1995 - Annals of Pure and Applied Logic 76 (3):231-289.details
|
|
Provability Interpretations of Modal Logic.Robert M. Solovay - 1981 - Journal of Symbolic Logic 46 (3):661-662.details
|
|
Undecidability in diagonalizable algebras.V. Yu Shavrukov - 1997 - Journal of Symbolic Logic 62 (1):79-116.details
|
|
Non–well-founded derivations in the gödel-löb provability logic.Daniyar Shamkanov - 2020 - Review of Symbolic Logic 13 (4):776-796.details
|
|
A note on the diagonalizable algebras of PA and ZF.V. Yu Shavrukov - 1993 - Annals of Pure and Applied Logic 61 (1-2):161-173.details
|
|
The Basic Intuitionistic Logic of Proofs.Sergei Artemov & Rosalie Iemhoff - 2007 - Journal of Symbolic Logic 72 (2):439 - 451.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
|
|
Non-well-founded proofs for the Grzegorczyk modal logic.Yury Savateev & Daniyar Shamkanov - forthcoming - Review of Symbolic Logic:1-29.details
|
|
The modal logic of provability. The sequential approach.Giovanni Sambin & Silvio Valentini - 1982 - Journal of Philosophical Logic 11 (3):311 - 342.details
|
|
An effective fixed-point theorem in intuitionistic diagonalizable algebras.Giovanni Sambin - 1976 - Studia Logica 35 (4):345 - 361.details
|
|
Predicate counterparts of modal logics of provability: High undecidability and Kripke incompleteness.Mikhail Rybakov - forthcoming - Logic Journal of the IGPL.details
|
|
Modal tableau calculi and interpolation.Wolfgang Rautenberg - 1983 - Journal of Philosophical Logic 12 (4):403 - 423.details
|
|
Three Grades of Modal Involvement.W. V. Quine - 1953 - Proceedings of the XIth International Congress of Philosophy 14:65-81.details
|
|
A purely syntactic and cut-free sequent calculus for the modal logic of provability.Francesca Poggiolesi - 2009 - Review of Symbolic Logic 2 (4):593-611.details
|
|
Existence and feasibility in arithmetic.Rohit Parikh - 1971 - Journal of Symbolic Logic 36 (3):494-508.details
|
|
Proofs and Countermodels in Non-Classical Logics.Sara Negri - 2014 - Logica Universalis 8 (1):25-60.details
|
|
Proof Analysis in Modal Logic.Sara Negri - 2005 - Journal of Philosophical Logic 34 (5-6):507-544.details
|
|
The undecidability of the first-order theory of diagonalizable algebras.Franco Montagna - 1980 - Studia Logica 39 (4):355 - 359.details
|
|
Syntactical Treatments of Modality, with Corollaries on Reflexion Principles and Finite Axiomatizability.Richard Montague - 1963 - Journal of Symbolic Logic 40 (4):600-601.details
|
|
Polynomially and superexponentially shorter proofs in fragments of arithmetic.Franco Montagna - 1992 - Journal of Symbolic Logic 57 (3):844-863.details
|
|
Interpretations of the first-order theory of diagonalizable algebras in peano arithmetic.Franco Montagna - 1980 - Studia Logica 39 (4):347 - 354.details
|
|
The Algebra of Topology.J. C. C. Mckinsey & Alfred Tarski - 1944 - Annals of Mathematics, Second Series 45:141-191.details
|
|
The incompleteness of RGL.Edwin D. Mares - 2000 - Studia Logica 65 (3):315-322.details
|
|
The unprovability of consistency: an essay in modal logic.George Boolos - 1979 - New York: Cambridge University Press.details
|
|
Definability theorems in normal extensions of the probability logic.Larisa L. Maksimova - 1989 - Studia Logica 48 (4):495-507.details
|
|
Representation and duality theory for diagonalizable algebras.Roberto Magari - 1975 - Studia Logica 34 (4):305 - 313.details
|
|
Solution of a problem of Leon Henkin.M. H. Löb - 1955 - Journal of Symbolic Logic 20 (2):115-118.details
|
|
A new proof of the fixed-point theorem of provability logic.Lisa Reidhaar-Olson - 1989 - Notre Dame Journal of Formal Logic 31 (1):37-43.details
|
|
Provability logic-a short introduction.Per Lindström - 1996 - Theoria 62 (1-2):19-61.details
|
|
Note on Some Fixed Point Constructions in Provability Logic.Per Lindström - 2006 - Journal of Philosophical Logic 35 (3):225-230.details
|
|