- ENGLISH
- JAPANESE
証明可能性論理 文献集 (Literature Collection on Provability Logic)
| 出版年 (year) | 著者 (author) | タイトル (title) | 出版社 (publisher) | ページ数等 (No. of pages, etc.) | リンク (links) |
|---|---|---|---|---|---|
| 2021 | 新井 敏康 | 数学基礎論 増補版 | 東京大学出版会 | 610 pp. |
amazon 出版社 |
| 2019 | Kuznets, Roman; Studer, Thomas | Logics of proofs and justifications | College Publications | Studies in Logic (London) Series Profile 80, 225 pp. |
amazon zbMATH |
| 2019 | Artemov, Sergei N.; Fitting, Melvin | Justification logic. Reasoning with reasons | Cambridge University Press | Cambridge Tracts in Mathematics 216, 247 pp. |
amazon 出版社 zbMATH |
| 2016 | 佐野 勝彦・倉橋 太志・薄葉 季路・黒川 英徳・菊池 誠 | 数学における証明と真理: 様相論理と数学基礎論 | 共立出版 | 304 pp. |
amazon 出版社 |
| 1993 | Boolos, George | The logic of provability | Cambridge University Press | 276 pp. |
amazon 出版社 zbMATH |
| 1985 | Smoryński, Craig | Self-reference and modal logic | Springer-Verlag | Universitext, 333 pp. |
amazon 出版社 zbMATH |
| 1979 | Boolos, George | The unprovability of consistency. An essay in modal logic | Cambridge University Press | 184 pp. |
amazon 出版社 zbMATH |
| 年 (years) | 著者 (authors) | タイトル (title) | リンク (links) | |
|---|---|---|---|---|
| 2003; 2010; 2017; 2024 | Verbrugge, Rineke | Provability Logic | Stanford Encyclopedia of Philosophy |
リンク |
| - | Provability logic | Wikipedia |
リンク | |
| - | Interpretability logic | Wikipedia |
リンク | |
| - | Japaridze's polymodal logic | Wikipedia |
リンク | |
| 2006 | 新井 敏康 | 集中講義「様相論理と不完全性定理」 | 静岡大学 |
リンク |
| 出版年 (year) | 著者 (authors) | タイトル (title) | 雑誌等 (journal etc.) | Volume 等 | リンク (links) |
|---|---|---|---|---|---|
| Visser, Albert; Litak, Tadeusz | Lewis and Brouwer meet strong Löb |
arXiv | |||
| Visser, Albert | Cyclic Henkin logic |
arXiv | |||
| van der Giessen, Iris; Iemhoff, Rosalie | Proof theory for intuitionistic strong Löb Logic |
arXiv | |||
| Sierra-Miranda, Borja | Cyclic proofs for \(\mathsf{iGL}\) via corecursion |
arXiv | |||
| Santiago-Fernández, Sofía; Joosten, Joost J.; Fernández-Duque, David | A tree rewriting system for the Reflection Calculus |
arXiv | |||
| Reyes, Eduardo Hermo | A finitely supported frame for the Turing Schmerl calculus |
arXiv | |||
| Pona, Nika; Joosten, Joost J. | The reduction property revisited |
arXiv | |||
| Pakhomov, Fedor | On elementary theories of \(\mathbf{GLP}\)-algebras |
arXiv | |||
| Okawa, Yuya; Kurahashi, Taishi | Visser frames for sublogics of \(\mathbf{IL}\) |
arXiv | |||
| Nogina, Elena | On logic of formal provability and explicit proofs |
arXiv | |||
| Mojtahedi, Mojtaba | Relative unification in intuitionistic logic: Towards provability logic of \(\mathbf{HA}\) |
arXiv | |||
| Mojtahedi, Mojtaba | On provability logic of \(\mathbf{HA}\) |
arXiv | |||
| Kurahashi, Taishi; Takase, Rihito | The modal logic of provability and forcing |
arXiv | |||
| Kogure, Haruka; Kurahashi, Taishi | Interpolation properties for the bimodal provability logic \(\mathbf{GR}\) | Studia Logica |
arXiv website | ||
| Kogure, Haruka | Arithmetical completeness for some extensions of the pure logic of necessitation |
arXiv | |||
| Kashima, Ryo; Kurahashi, Taishi; Iwata, Sohei; Morioka, So | Cut-free sequent calculi for the provability logic D | The Review of Symbolic Logic |
arXiv website | ||
| Kashima, Ryo; Kato, Yutaka | Semantical cut-elimination for the provability logic of true arithmetic |
arXiv | |||
| Joosten, Joost J.; Mikec, Luka; Visser, Albert | Feferman Interpretability |
arXiv | |||
| Henk, Paula; Pakhomov, Fedor | Slow and ordinary provability for Peano Arithmetic |
arXiv | |||
| Borges, Ana de Almeida; Joosten, Joost J. | Strictly positive fragments of the provability logic of Heyting Arithmetic | Studia Logica |
arXiv website | ||
| Beklemishev, Lev D.; Wang, Yunsong | Periodic frames |
arXiv | |||
| Beklemishev, Lev D. | Conservativity spectra and generalized Ignatiev model |
arXiv | |||
| Beklemishev, Lev D. | A universal Kripke frame for the variable-free fragment of \(\mathbf{RC}^\nabla\) |
arXiv | |||
| Beklemishev, Lev D. | Modal propositional inference rules for \(\mathsf{PA}\) |
pdf | |||
| Becker, Justus | A non-wellfounded and labelled sequent calculus for bimodal provability logic |
arXiv | |||
| Barasz, Mihaly; Christiano, Paul; Fallenstein, Benja; Herreshoff, Marcello; LaVictoire, Patrick; Yudkowsky, Eliezer | Robust Cooperation in the Prisoner's Dilemma: Program Equilibrium via Provability Logic |
arXiv | |||
| Artemov, Sergei N. | The provability of consistency |
arXiv | |||
| Akbar Tabatabai, Amirhossein | Provability interpretation of propositional and modal logics |
arXiv | |||
| Aguilera, Juan Pablo; Pakhomov, Fedor | The Logic of correct models |
arXiv | |||
| Aguilera, Juan Pablo; Pacheco, Leonardo | Intuitionistic Gödel-Löb without sharps |
preprint | |||
| 2025 | Perkov, Tin | Transformation of any Verbrugge model to a bisimilar Veltman model | Mathematical Structures in Computer Science | 35, e11 |
website |
| 2025 | Lyon, Tim S. | Unifying Sequent Systems for Gödel-Löb Provability Logic via Syntactic Transformations | CSL 2025 | 326, 42:1--42:23 |
arXiv website |
| 2025 | Horvat, Sebastijan; Perkov, Tin | A correspondence theorem for interpretability logic with respect to Verbrugge semantics | Logic Journal of the IGPL | 33(2), jzae081 |
website |
| 2025 | Beklemishev, Lev D. | On the unification problem for GLP | Izvestiya: Mathematics | 89(1), 1--14 |
arXiv website |
| 2025 | Artemov, Sergei N. | Serial properties, selector proofs, and the provability of consistency | Journal of Logic and Computation | 35(3), exae034 |
arXiv website |
| 2024 | van Benthmen, Johan | An abstract look at the fixed-point theorem for provability logic | Dick de Jongh on Intuitionistic and Provability Logics | Outstanding Contributions to Logic 28, 75--88 |
website |
| 2024 | Sasaki, Katsumi; Tanaka, Yoshihito | An \(\omega\)-rule for the logic of provability and its models | Studia Logica | 112(5), 1163--1180 |
arXiv website |
| 2024 | Rybakov, Mikhail | Predicate counterparts of modal logics of provability: High undecidability and Kripke incompleteness | Logic Journal of the IGPL | 32(2), 465--492 |
website |
| 2024 | Okawa, Yuya | Unary interpretability logics for sublogics of the interpretability logic \(\mathbf{IL}\) | Studia Logica | 112(3), 693--721 |
arXiv website zbMATH |
| 2024 | Mojtahedi, Mojtaba | The \(\Sigma_1\)-provability logic of HA revisited | Dick de Jongh on Intuitionistic and Provability Logics | Outstanding Contributions to Logic 28, 89--110 |
website |
| 2024 | Maniwa, Akinori; Kashima, Ryo. | Syntactic Cut-Elimination for Provability Logic GL via Nested Sequents | EPTCS 415 | 93--108 |
arXiv website |
| 2024 | Litak, Tadeusz; Visser, Albert | Lewisian fixed points I: Two incomparable constructions | Dick de Jongh on Intuitionistic and Provability Logics | Outstanding Contributions to Logic 28, 33--73 |
arXiv website |
| 2024 | Kurahashi, Taishi | The provability logic of all provability predicates | Journal of Logic and Computation | 34(6), 1108--1135 |
arXiv website |
| 2024 | Kolmakov, Evgeny A. | On Shavrukov's non-isomorphism theorem for diagonalizable algebras | The Review of Symbolic Logic | 17(1), 206--243 |
arXiv website zbMATH |
| 2024 | Joosten, Joost J.; Rovira, Jan Mas; Mikec, Luka; Vuković, Mladen | An overview of Verbrugge semantics, a.k.a. generalised Veltman semantics | Dick de Jongh on Intuitionistic and Provability Logics | Outstanding Contributions to Logic 28, 111--153 |
arXiv website |
| 2024 | Iwata, Sohei; Kurahashi, Taishi; Okawa, Yuya | The persistence principle over weak interpretability logic | Mathematical Logic Quarterly | 70(1), 37--63 |
arXiv website zbMATH |
| 2024 | Iwata, Sohei; Kurahashi, Taishi; Okawa, Yuya | The fixed point and the Craig interpolation properties for sublogics of \(\mathbf{IL}\) | Archive for Mathematical Logic | 63(1-2), 1--37 |
arXiv website zbMATH |
| 2024 | Gorbunov, Igor; Shkatov, Dmitry | Extensions of Solovay's system \(S\) without independent sets of axioms | Annals of Pure ans Applied Logic | 175(1, Part A), 103360 |
website zbMATH |
| 2024 | Golshani, Mohammad; Zoghifard, Reihane | Completeness of the Gödel-Löb provability logic for the filter sequence of normal measures | The Journal of Symbolic Logic | 89(1), 164--174 |
arXiv website zbMATH |
| 2024 | Fiorentini, Camillo; Ferrari, Mauro | A terminating sequent calculus for intuitionistic strong Löb logic with the subformula property | Automated Reasoning | LNCS 14740, 24--42 |
website |
| 2024 | Férée, Hugo; van der Giessen, Iris; van Gool, Sam; Shillito, Ian | Mechanised uniform interpolation for modal logics K, GL, and iSL | Automated Reasoning | LNCS 14740, 43--60 |
arXiv website |
| 2024 | Dvorkin, L. V. | On provability logics of Niebergall arithmetic | Izvestiya. Mathematics | 88(3), 468--505 |
website zbMATH |
| 2024 | Das, Anupam: van der Giessen,Iris; Marin, Sonia | Intuitionistic Gödel-Löb logic, à la Simpson: labelled systems and birelational semantics | 32nd EACSL Annual Conference on Computer Science Logic | No. 22, 18 pp. |
arXiv website |
| 2024 | Celani, Sergio | Some logics in the vicinity of interpretability logics | Bulletin of the Section of Logic | 53(2), 173--193 |
website |
| 2023 | Shillito, Ian; van der Giessen, Iris; Goré, Rajeev; Iemhoff, Rosalie | A new calculus for intuitionistic Strong Löb logic: strong termination and cut-elimination, formalised | TABLEAUX 2023 | LNCS 14278, 73--93 |
arXiv website zbMATH |
| 2023 | Petrukhin, Yaroslav I. | On a modification of Visser's formal logic and its connection with Solovay's modal logic | Russian Mathematics | 67, 12--21 |
website |
| 2023 | Perkov, Tin | Bisimulations between Verbrugge models and Veltman models | WoLLIC 2023 | LNCS 13923, 305--317 |
website zbMATH |
| 2023 | Parsa, Amir Farahmand; Ghari, Meghdad | On Boolean algebraic structure of proofs: Towards an algebraic semantics for the Logic of Proofs | Studia Logica | 111(4), 573--613 |
arXiv website zbMATH |
| 2023 | Mikec, Luka | Complexity of the interpretability logics \(\mathbf{IL}\mathsf{W}\) and \(\mathbf{IL}\mathsf{P}\) | Logic Journal of the IGPL | 31(1), 194--213 |
website zbMATH |
| 2023 | Kurahashi, Taishi | Some observations on the FGH theorem | Studia Logica | 111(5), 749--778 |
arXiv website zbMATH |
| 2023 | Krupski, Vladimir N. | Normalization of terms in sharp models of logic of proofs \(\mathsf{LP}\) | Moscow University Mathematics Bulletin | 78(6), 309--312 |
website zbMATH |
| 2023 | Kogure, Haruka; Kurahashi, Taishi | Arithmetical completeness theorems for monotonic modal logics | Annals of Pure and Applied Logic | 174(7), 103271 |
arXiv website zbMATH |
| 2023 | Horvat, Sebastijan; Perkov, Tin; Vuković, Mladen | Bisimulations and bisimulation games between Verbrugge models | Mathematical Logic Quarterly | 69(2), 231--243 |
website zbMATH |
| 2023 | Borges, Ana de Almeida; Joosten, Joost J. | An escape from Vardanyan's theorem | The Journal of Symbolic Logic | 88(4), 1613--1638 |
arXiv website zbMATH |
| 2023 | Bezhanishvili, Guram; Brantley, Kristina; Ilin, Julia | Monadic intuitionistic and modal logics admitting provability interpretations | The Journal of Symbolic Logic | 88(1), 427--467 |
arXiv website zbMATH |
| 2023 | Berarducci, Alessandro; Mamino, Marcello | Provability logic: Models within models in Peano arithmetic | Bollettino dell'Unione Matematica Italiana | 16, 25--41 |
arXiv website zbMATH |
| 2023 | Aguilera, Juan P. | A topological completeness theorem for transfinite provability logic | Archive for Mathematical Logic | 62(5-6), 751--788 |
arXiv website zbMATH |
| 2022 | Visser, Albert | Friedman-reflexivity | Annals of Pure and Applied Logic | 173(9), 103160 |
arXiv website zbMATH |
| 2022 | Petrukhin, Yaroslav | Provability multilattice logic | Journal of Applied Non-Classical Logics | 32(4), 239--272 |
website zbMATH |
| 2022 | Okawa, Yuya | Countably many sublogics of the interpretability logic \(\mathbf{IL}\) having fixed point properties | Journal of Logic and Computation | 32(5), 976--995 |
website zbMATH |
| 2022 | Kurahashi, Taishi; Okawa, Yuya | Effectively constructible fixed points in Sacchetti's modal logics of provability | Notre Dame Journal of Formal Logic | 63(1), 35--49 |
arXiv website zbMATH |
| 2022 | Kurahashi, Taishi | On inclusions between quantified provability logics | Studia Logica | 110(1), 165--188 |
arXiv website zbMATH |
| 2022 | 倉橋 太志 | 証明可能性述語の様相論理 | 京都大学数理解析研究所講究録 | 2233, 105--122 |
website |
| 2022 | Goris, Evan; Bílková, Marta; Joosten, Joost J.; Mikec, Luka | Theory and application of labelling techniques for interpretability logics | Mathematical Logic Quarterly | 68(3), 352--374 |
arXiv website zbMATH |
| 2022 | Goré, Rajeev; Shillito, Ian | Direct elimination of additive-cuts in GL4ip: verified and extracted | Advances in Modal Logic | 14, 429--449 |
website zbMATH |
| 2022 | Fernández-Duque, David; Reyes, Eduardo Hermo | Deducibility and independence in Beklemishev's autonomous provability calculus | Information and Computation | 287, 104758 |
arXiv website zbMATH |
| 2022 | Fernández-Duque, David; Joosten, Joost J.; Pakhomov, Fedor; Papafilippou, Konstantinos; Weierman, Andreas | Arithmetical and hyperarithmetical worm battles | Journal of Logic and Computation | 32(8), 1558--1584 |
website zbMATH |
| 2022 | Beklemishev, Lev D.; Pakhomov, Fedor | Reflection algebras and conservation results for theories of iterated truth | Annals of Pure and Applied Logic | 173(5), 103093, 41 pp. |
arXiv website zbMATH |
| 2022 | Beklemishev, Lev D. | Conservativity Spectra and Joosten-Fernández Model | Doklady Mathematics | 106(1), 213--217 |
website zbMATH |
| 2022 | Akbar Tabatabai, Amirhossein | Provability logics of hierarchies | Advances in Modal Logic | 14, 59-76 |
arXiv website zbMATH |
| 2021 | Verbrugge, Rineke | Zero-one laws for provability logic: axiomatizing validity in almost all models and almost all frames | LICS '21 | 1--13 |
arXiv website |
| 2021 | van der Giessen, Iris; Iemhoff, Rosalie | Sequent calculi for intuitionistic Gödel–Löb logic | Notre Dame Journal of Formal Logic | 62(2), 221--246 |
website zbMATH |
| 2021 | Pakhomov, Fedor; Walsh, James | Reflection ranks and ordinal analysis | The Journal of Symbolic Logic | 86(4), 1350--1384 |
arXiv website zbMATH |
| 2021 | Nicolai, Carlo; Stern, Johannes | The modal logics of Kripke-Feferman truth | The Journal of Symbolic Logic | 86(1), 362--396 |
arXiv website zbMATH |
| 2021 | Mojtahedi, Mojtaba | Hard provability logics | Mathematics, Logic, and Their Philosophies: Essays in Honour of Mohammad Ardeshir | 253--312 |
arXiv website zbMATH |
| 2021 | Maggesi, Marco; Brogi, Cosimo Perini | A formal proof of modal completeness for provability logic | ITP 2021 | 193, 26:1--26:18 |
arXiv website zbMATH |
| 2021 | Kushida, Hirohiko | Constructive truth and falsity in Peano arithmetic | Journal of Logic and Computation | 31(1), 168--178 |
arXiv website zbMATH |
| 2021 | Kurahashi, Taishi; Okawa, Yuya | Modal completeness of sublogics of the interpretability logic \(\mathbf{IL}\) | Mathematical Logic Quarterly | 67(2), 164--185 |
arXiv website zbMATH |
| 2021 | Joosten, Joost J. | Münchhausen provability | The Journal of Symbolic Logic | 86(3), 1006--1034 |
arXiv website zbMATH |
| 2021 | Iwata, Sohei; Kurahashi, Taishi | Topological semantics of conservativity and interpretability logics | Journal of Logic and Computation | 31(7), 1716--1739 |
arXiv website zbMATH |
| 2021 | Iwata, Sohei | Interpolation properties for Sacchetti’s logics | Advances in Mathematical Logic. SAML 2018 | 47--76 |
website zbMATH |
| 2021 | Ilin, Julia; De Jongh, Dick; Yang, Fan | NNIL-formulas revisited: Universal models and finite model property | Journal of Logic and Computation | 31(2), 573--596 |
arXiv website zbMATH |
| 2021 | Hsiung, Ming | Solovay functions and paradoxes | Journal of Logic and Computation | 31(8), 2107--2132 |
website zbMATH |
| 2021 | Hao, Yunge; Tourlakis, George | An arithmetically complete predicate modal logic | Bulletin of the Section of Logic | 50(4), 513--541 |
website zbMATH |
| 2021 | Goldblatt, Robert | Modal logics that bound the circumference of transitive frames | Hajnal Andréka and István Németi on Unity of Science | 233--265 |
arXiv website zbMATH |
| 2020 | Shamkanov, Daniyar S. | Non-well-founded derivations in the Gödel-Löb provability logic | The Review of Symbolic Logic | 13(4), 776--796 |
website zbMATH |
| 2020 | Shamkanov, Daniyar S. | Global neighbourhood completeness of the provability logic GLP | Advances in Modal Logic | 13, 581--596 |
website zbMATH |
| 2020 | Reyes, Eduardo Hermo; Joosten, Joost J. | The logic of Turing progressions | Notre Dame Journal of Formal Logic | 61(1), 155--180 |
arXiv website zbMATH |
| 2020 | Protopopescu, Tudor | An arithmetical interpretation of intuitionistic verification | Journal of Logic and Computation | 30(1), 381--402 |
website zbMATH |
| 2020 | Mikec, Luka; Vuković, Mladen | Interpretability logics and generalized Veltman semantics | The Journal of Symbolic Logic | 85(2), 749--772 |
arXiv website zbMATH |
| 2020 | Kushida, Hirohiko | A proof theory for the logic of provability in true arithmetic | Studia Logica | 108(4), 857--875 |
website zbMATH |
| 2020 | Kurahashi, Taishi | Uniform Lyndon interpolation property in propositional modal logics | Archive for Mathematical Logic | 59(5-6), 659--678 |
arXiv website zbMATH |
| 2020 | Kurahashi, Taishi | Rosser provability and normal modal logics | Studia Logica | 108(3), 597--617 |
arXiv website zbMATH |
| 2020 | Iwata, Sohei; Kurahashi, Taishi | Fixed-point properties for predicate modal logics | Annals of the Japan Association for Philosophy of Science | 29, 1--25 |
aXiv website |
| 2020 | Goris, Evan; Joosten, Joost J. | Two new series of principles in the interpretability logic of all reasonable arithmetical theories | The Journal of Symbolic Logic | 85(1), 1--25 |
website zbMATH |
| 2020 | Borges, Ana de Almeida; Joosten, Joost J. | Quantified reflection calculus with one modality | Advances in Modal Logic | 13, 13--32 |
arXiv website zbMATH |
| 2019 | Visser, Albert; Zoethout, Jetze | Provability logic and the completeness principle | Annals of Pure and Applied Logic | 170(6), 718--753 |
arXiv website zbMATH |
| 2019 | Mikec, Luka; Pakhomov, Fedor; Vuković, Mladen | Complexity of the interpretability logic IL | Logic Journal of the IGPL | 27(1), 1--7 |
website zbMATH |
| 2019 | Iwata, Sohei; Kurahashi, Taishi | On arithmetical completeness of the logic of proofs | Annals of Pure and Applied Logic | 170(2), 163--179 |
website zbMATH |
| 2019 | Fernández-Duque, David; Reyes, Eduardo Hermo | A self-contained provability calculus for \(\Gamma_0\) | WoLLIC 2019 | LNCS 11541, 195--207 |
website zbMATH |
| 2019 | Ardeshir, Mohammad; Mojtahedi, Mojtaba | The \(\Sigma_1\)-provability logic of \(\mathsf{HA}^∗\) | The Journal of Symbolic Logic | 84(3), 1118--1135 |
arXiv website zbMATH |
| 2018 | Urbaniak, Rafal; Pawlowski, Pawel | Logics of (formal and informal) provability | Introduction to Formal Philosophy | 191--237 |
website |
| 2018 | Tanaka, Yoshihito | A cut-free proof system for a predicate extension of the logic of provability | Report on Mathematical Logic | 53, 97--109 |
arXiv website zbMATH |
| 2018 | Reyes, Eduardo Hermo; Joosten, Joost J. | Relational semantics for the Turing Schmerl calculus | Advances in Modal Logic | 12, 327--346 |
arXiv website zbMATH |
| 2018 | Litak, Tadeusz; Visser, Albert | Lewis meets Brouwer: Constructive strict implication | Indagationes Mathematicae | 29(1), 36--90 |
arXiv website zbMATH |
| 2018 | Kurahashi, Taishi | Provability logics relative to a fixed extension of Peano arithmetic | The Journal of Symbolic Logic | 83(3), 1229--1246 |
website zbMATH |
| 2018 | Kurahashi, Taishi | Arithmetical soundness and completeness for \(\Sigma_2\) numerations | Studia Logica | 106(6), 1181--1196 |
website zbMATH |
| 2018 | Kurahashi, Taishi | Arithmetical completeness theorem for modal logic \(\mathsf{K}\) | Studia Logica | 106(2), 219--235 |
website zbMATH |
| 2018 | Fernández-Duque, David; Joosten, Joost J. | The omega-rule interpretation of transfinite provability logic | Annals of Pure and Applied Logic | 169(4), 333--371 |
arXiv website zbMATH |
| 2018 | Borges, Ana de Almeida; Joosten, Joost J. | The worm calculus | Advances in Modal Logic | 12, 13--27 |
arXiv website zbMATH |
| 2018 | Berger, Gerald; Beklemishev, Lev D.; Tompits, Hans | A many-sorted variant of Japaridze’s polymodal provability logic | Logic Journal of the IGPL | 26(5), 505--538 |
arXiv website zbMATH |
| 2018 | Beklemishev, Lev D. | A universal algebra for the variable-free fragment of \(\mathbf{RC}^\nabla\) | LFCS 2018 | LNCS10703, 91--106 |
website zbMATH |
| 2018 | Beklemishev, Lev D. | Reflection calculus and conservativity spectra | Russian Mathematical Surveys | 73(4), 569--613 |
arXiv website zbMATH |
| 2018 | Balbiani, Philippe; Fernández-Duque, David; Herzig, Andreas; Iliev, Petar | Frame-validity games and absolute minimality of modal axioms | Advances in Modal Logic | 12, 83--102 |
arXiv website zbMATH |
| 2018 | Ardeshir, Mohannad; Mojtahedi, Mojtaba | The \(\Sigma_1\)-provability logic of \(\mathsf{HA}\) | Annals of Pure and Applied Logic | 169(10), 997--1043 |
arXiv website zbMATH |
| 2017 | Shamkanov, Daniyar S. | Global neighbourhood completeness of the Gödel-Löb provability logic | WoLLIC 2017 | LNCS 10388, 358--370 |
website zbMATH |
| 2017 | Pakhomov, Fedor | Solovay completeness without fixed points | WoLLIC 2017 | LNCS 10388, 281--294 |
arXiv website zbMATH |
| 2017 | Mikec, Luka; Perkov, Tin; Vuković, Mladen | Decidability of interpretability logics \(\mathbf{IL}\mathtt{M_0}\) and \(\mathbf{IL}\mathtt{W^*}\) | Logic Journal of the IGPL | 25(5), 758--772 |
website zbMATH |
| Mikec, Luka; Perkov, Tin; Vuković, Mladen | Correction to: Decidability of interpretability logics \(\mathbf{IL}\mathtt{M_0}\) and \(\mathbf{IL}\mathtt{W^*}\) | Logic Journal of the IGPL |
website | ||
| 2017 | Henk, Paula; Visser, Albert | Interpretability suprema in Peano Arithmetic | Archive for Mathematical Logic | 56(5-6), 555--584 |
website zbMATH |
| 2017 | Fitting, Melvin | Quasi-realization | TbiLLC 2015 | LNCS 10148, 313--332 |
website zbMATH |
| 2017 | Fernández-Duque, David | Worms and Spiders: Reflection calculi and ordinal notation systems | The IfCoLog Journal of Logics and their Applications | 4(10), 3277--3356 |
arXiv website |
| 2017 | Beklemishev, Lev D. | On the reflection calculus with partial conservativity operators | WoLLIC 2017 | LNCS 10388, 48--67 |
website zbMATH |
| 2017 | Beklemishev, Lev D. | On the reduction property for \(\mathbf{GLP}\)-algebras | Doklady Mathematics | 95(1), 50--54 |
arXiv website zbMATH |
| 2017 | Aguilera, Juan P.; Fernández-Duque, David | Strong completeness of provability logic for ordinal spaces | The Journal of Symbolic Logic | 82(2), 608--628 |
arXiv website zbMATH |
| 2017 | Aguilera, Juan P.; Fernández-Duque, David | Verification logic | Journal of Logic and Computation | 27(8), 2451--2469 |
website zbMATH |
| 2016 | Tourlakis, George | A new arithmetically incomplete first-order extension of \(\mathrm{GL}\) all theorems of which have cut free proofs | Bulletin of the Section of Logic | 45(1), 17--32 |
website zbMATH |
| 2016 | Shamkanov, Daniyar S. | A realization theorem for the Gödel-Löb provability logic | Sbornik: Mathematics | 207(9), 1344--1360 |
website zbMATH |
| 2016 | Perkov, Tin; Vuković, Mladen | Filtrations of generalized Veltman models | Mathematical Logic Quarterly | 62(4-5), 412--419 |
website zbMATH |
| 2016 | Pakhomov, Fedor | Linear \(\mathrm{GLP}\)-algebras and their elementary theories | Izvestiya: Mathematics | 80(6), 1159--1199 |
website zbMATH |
| 2016 | Pakhomov, Fedor | Semi-provability predicates and extensions of \(\mathsf{GL}\) | AiML 11 Short Presentations | 5 pp. |
ResearchGate |
| 2016 | Kuznets, Roman; Studer, Thomas | Weak arithmetical interpretations for the Logic of Proofs | Logic Journal of the IGPL | 24(3), 424--440 |
website zbMATH |
| 2016 | Joosten, Joost J. | Turing-Taylor expansions for arithmetic theories | Studia Logica | 104(6), 1225--1243 |
arXiv website zbMATH |
| 2016 | Ilin, Julia; De Jongh, Dick; Yang, Fan | NNIL axioms have the finite model property | Liber Amicorum Alberti - A tribute to Albert Visser | 177--185 |
website zbMATH |
| 2016 | Iemhoff, Rosalie | Reasoning in circles | Liber Amicorum Alberti - A tribute to Albert Visser | 165--176 |
website zbMATH |
| 2016 | Henk, Paula; Shavrukov, V. Yu. | A Solovay function for the least 1-inconsistent subtheory of PA |
Report | ||
| 2016 | Hakoniemi, Tuomas; Joosten, Joost J. | Labelled tableaux for interpretability logics | Liber Amicorum Alberti - A tribute to Albert Visser | 141--154 |
website zbMATH |
| 2016 | Fitting, Melvin | Modal logics, justification logics, and realization | Annals of Pure and Applied Logic | 167(8), 615--648 |
website zbMATH |
| 2016 | Brighton, Jude | Cut elimination for \(\mathrm{GLS}\) using the terminability of its regress process | Journal of Philosophical Logic | 45(2), 147--153 |
website zbMATH |
| 2016 | Bílková, Marta | Uniform interpolation in provability logics | Liber Amicorum Alberti - A tribute to Albert Visser | 57--90 |
arXiv website zbMATH |
| 2016 | Aguilera, Juan P.; Fernández-Duque, David | Verification logic: An arithmetical interpretation for negative introspection | Advances in Modal Logic | 11 1--20 |
website zbMATH |
| 2015 | Visser, Albert | The arithmetics of a theory | Notre Dame Journal of Formal Logic | 56(1), 81--119 |
website zbMATH |
| 2015 | Standefer, Shawn | Solovay-type theorems for circular definitions | The Review of Symbolic Logic | 8(3), 467--487 |
website zbMATH |
| 2015 | Shamkanov, Daniyar S. | Nested sequents for provability logic GLP | Logic Journal of the IGPL | 23(5), 789--815 |
website zbMATH |
| 2015 | Pakhomov, Fedor | On elementary theories of ordinal notation systems based on reflection principles | Proceedings of the Steklov Institute of Mathematics | 289, 194--212 |
arXiv website zbMATH |
| 2015 | Kurokawa, Hidenori | The principle of reflection via nested sequents | The Logica Yearbook 2014 | 185--201 |
website zbMATH |
| 2015 | Izbash, Olga; Rusu, Randrei | On the absence of finite approximation relative to model completeness in propositional provability logic | Buletinul Academiei de Științe a Republicii Moldova. Matematica | 79(3), 110--113 |
website zbMATH |
| 2015 | Henk, Paula | Kripke models built from models of arithmetic | TbiLLC 2013 | LNCS 8984, 157--174 |
Preprint website zbMATH |
| 2015 | Gao, Feng; Tourlakis, George | A short and readable proof of cut elimination for two first-order modal logics | Bulletin of the Section of Logic | 44(3-4), 131--148 |
website zbMATH |
| 2015 | Čačić, Vedran; Kovač, Vjekoslav | On the share of closed \(\mathsf{IL}\) formulas which are also in \(\mathsf{GL}\) | Archive for Mathematical Logic | 54(7-8), 741--767 |
arXiv website zbMATH |
| 2015 | Borg, Annemarie; Kuznets, Roman | Realization theorems for justification logics: full modularity | TABLEAUX 2015 | LNCS 9232, 221--236 |
website zbMATH |
| 2015 | Ardeshir, Mohannad; Mojtahedi, Mojtaba | Reduction of provability logics to \(\Sigma_1\)-provability logics | The Logic Journal of the IGPL | 23(5), 842--847 |
website zbMATH |
| 2014 | Wang, Ren-June | Non-circular proofs and proof realization in modal logic | Annals of Pure and Applied Logic | 165(7-8), 1318--1338 |
website zbMATH |
| 2014 | van Gool, Samuel J. | Free algebras for Gödel-Löb provability logic | Advances in Modal Logic | 10, 217--233 |
zbMATH |
| 2014 | Shamkanov, Daniyar S. | Circular proofs for the Gödel-Löb provability logic | Mathematical Notes | 96(4), 575--585 |
arXiv website zbMATH |
| 2014 | Perkov, Tin; Vuković, Mladen | A bisimulation characterization for interpretability logic | Logic Journal of the IGPL | 22(6), 872--879 |
website zbMATH |
| 2014 | Pakhomov, Fedor | On the complexity of the closed fragment of Japaridze's provability logic | Archive for Mathematical Logic | 53(7-8), 949--967 |
arXiv website zbMATH |
| 2014 | Litak, Tadeusz | Constructive modalities with provability smack | Leo Esakia on duality in modal and intuitionistic logics | 187--216 |
arXiv website zbMATH |
| 2014 | Fitting, Melvin | Possible world semantics for first-order logic of proofs | Annals of Pure and Applied Logic | 165(1), 225--240 |
website zbMATH |
| 2014 | Fernández-Duque, David | The polytopologies of transfinite provability logic | Archive for Mathematical Logic | 53(3-4), 385--431 |
arXiv website zbMATH |
| 2014 | Fernández-Duque, David; Joosten, Joost J. | Well-orders in the transfinite Japaridze algebra | Logic Journal of the IGPL | 22(6), 933--963 |
arXiv website zbMATH |
| 2014 | Čačić, Vedran; Vuković, Mladen | Interpretability logic \(\mathbf{IL}\) does not have finite subtree property | Rad Hrvatske Akademije Znanosti i Umjetnosti. Matematičke Znanosti | 519(18), 1--5 |
website zbMATH |
| 2014 | Beklemishev, Lev D.; Gabelaia, David | Topological interpretations of provability logic | Leo Esakia on duality in modal and intuitionistic logics | 257--290 |
arXiv website zbMATH |
| 2014 | Beklemishev, Lev D. | Positive provability logic for uniform reflection principles | Annals of Pure and Applied Logic | 165(1), 82--105 |
arXiv website zbMATH |
| 2013 | Schwartz, Yehuda; Tourlakis, George | On the proof-theory of a first-order extension of \(\mathbf{GL}\) | Logic and Logical Philosophy | 23(3), 329--363 |
website zbMATH |
| 2013 | Schwartz, Yehuda; Tourlakis, George | A proof theoretic tool for first-order modal logic | Bulletin of the Section of Logic | 42(3-4), 93--110 |
website zbMATH |
| 2013 | Rusu, Andrei | Infinitely many maximal primitive positive clones in a diagonalizable algebra | Buletinul Academiei de Științe a Republicii Moldova. Matematica | 72(2)-73(3), 47--52 |
website zbMATH |
| 2013 | Montagna, Franco; Pianigiani, Duccio | A short note on essentially \(\Sigma_1\) sentences | Logica Universalis | 7(1), 103--111 |
website zbMATH |
| 2013 | Kurokawa, Hidenori; Kushida, Hirohiko | Substructural logic of proofs | WoLLIC 2013 | LNCS 8071, 194--210 |
website zbMATH |
| 2013 | Kurokawa, Hidenori | Prefixed tableau systems for logic of proofs and provability | TABLEAUX 2013 | LNCS 8123, 203--218 |
website zbMATH |
| 2013 | Kurahashi, Taishi | On predicate provability logics and binumerations of fragments of Peano arithmetic | Archive for Mathematical Logic | 52(7-8), 871--880 |
website zbMATH |
| 2013 | Kurahashi, Taishi | Arithmetical interpretations and Kripke frames of predicate modal logic of provability | The Review of Symbolic Logic | 6(1), 129--146 |
website zbMATH |
| 2013 | Joosten, Joost J. | \(\Pi^0_1\)-ordinal analysis beyond first-order arithmetic | Mathematical Communications | 18(1), 109--121 |
arXiv website zbMATH |
| 2013 | Fernández-Duque, David; Joosten, Joost J. | Models of transfinite provability logic | The Journal of Symbolic Logic | 78(2), 543--561 |
arXiv website zbMATH |
| 2013 | Čačić, Vedran; Vrgoč, Domagoj | A note on bisimulation and modal equivalence in provability logic and interpretability logic | Studia Logica | 101(1), 31--44 |
website zbMATH |
| 2013 | Beklemishev, Lev D.; Fernández-Duque, David; Joosten, Joost J. | On provability logics with linearly ordered modalities | Studia Logica | 102(3), 541--566 |
arXiv website zbMATH |
| 2013 | Beklemishev, Lev D.; Gabelaia, David | Topological completeness of the provability logic \(\mathbf{GLP}\) | Annals of Pure and Applied Logic | 164(12), 1201--1223 |
arXiv website zbMATH |
| 2012 | Pakhomov, Fedor | Undecidability of the elementary theory of the semilattice of \(\mathrm{GLP}\)-words | Sbornik: Mathematics | 203(8), 1211--1229 |
website zbMATH |
| 2012 | Kurokawa, Hidenori | Tableaux and hypersequents for justification logics | Annals of Pure and Applied Logic | 163(7), 831--853 |
website zbMATH |
| 2012 | Icard, Thomas F.; Joosten, Joost J. | Provability and interpretability logics with restricted realizations | Notre Dame Journal of Formal Logic | 53(2), 133--154 |
arXiv website zbMATH |
| 2012 | Goris, Evan; Joosten, Joost J. | Self provers and \(\Sigma_1\) sentences | Logic Journal of the IGPL | 20(1), 1--21 |
arXiv website zbMATH |
| 2012 | Goré, Rajeev; Ramanayake, Revantha | Valentini’s cut-elimination for provability logic resolved | The Review of Symbolic Logic | 5(2), 212--238 |
website zbMATH |
| 2012 | Goré, Rajeev; Ramanayake, Revantha | Labelled tree sequents, tree hypersequents and nested (deep) sequents | Advances in Modal Logic | 9, 279--299 |
website zbMATH |
| 2012 | Fernández-Duque, David; Joosten, Joost J. | Kripke models of transfinite provability logic | Advances in Modal Logic | 9, 185--199 |
website zbMATH |
| 2012 | Čačić, Vedran; Vuković, Mladen | A note on normal forms for the closed fragment of system \(IL\) | Mathematical Communications | 17(1), 195--204 |
website zbMATH |
| 2012 | Beklemishev, Lev D. | Calibrating provability logic: From modal Logic to reflection calculus | Advances in Modal Logic | 9, 89--94 |
website zbMATH |
| 2012 | Artemov, Sergei N.; Yavorskaya, Tatiana | Binding modalities | Journal of Logic and Computation | 26(1), 451--461 |
website zbMATH |
| 2011 | Vuković, Mladen | A note on ultraproducts of Veltman models | Glasnik Matematički. Serija III | 46(1), 7--10 |
website zbMATH |
| 2011 | Vrgoč, Domagoj; Vuković, Mladen | Bisimulation quotients of Veltman models | Reports on Mathematical Logic | 46, 59--73 |
website zbMATH |
| 2011 | Shamkanov, Daniyar S. | Interpolation properties of the provability logics \(\mathbf{GL}\) and \(\mathbf{GLP}\) | Proceedings of the Steklov Institute of Mathematics | 274, 303--316 |
website zbMATH |
| 2011 | Rybakov, V. V. | Best unifiers in transitive modal logics | Studia Logica | 99(1-3), 321--336 |
website zbMATH |
| 2011 | Henk, Paula | A new perspective on the arithmetical completeness of GL | Report | ||
| 2011 | Goris, Evan; Joosten, Joost J. | A new principle in the interpretability logic of all reasonable arithmetical theories | Logic Journal of the IGPL | 19(1), 1--17 |
arXiv website zbMATH |
| 2011 | Dashkov, Evgenij | Arithmetical completeness of the intuitionistic logic of proofs | Journal of Logic and Computation | 21(4), 665--682 |
Preprint website zbMATH |
| 2011 | Bou, Félix; Joosten, Joost J. | The closed fragment of \(\mathbf{IL}\) is PSPACE hard | Electronic Notes in Theoretical Computer Science | 278(3), 47--54 |
arXiv website zbMATH |
| 2011 | Beklemishev, Lev D. | A simplified proof of the arithmetical completeness theorem for the provability logic \(\mathbf{GLP}\) | Proceedings of the Steklov Institute of Mathematics | 274, 25--33 |
Preprint website zbMATH |
| 2011 | Beklemishev, Lev D. | Ordinal completeness of bimodal provability logic \(\mathbf{GLB}\) | TbiLLC 2009 | LNCS 6618, 1--15 |
Preprint website zbMATH |
| 2011 | Artemov, Sergei N.; Yavorskaya, Tatiana | First-order logic of proofs | CUNY Computer Science Technical Reports |
Report | |
| 2010 | Vrgoč, Domagoj; Vuković, Mladen | Bisimulations and bisimulation quotients of generalized Veltman models | Logic Journal of the IGPL | 18(6), 870--880 |
website zbMATH |
| 2010 | Shavrukov, V. Yu. | Effectively inseparable Boolean algebras in lattices of sentences | Archive for Mathematical Logic | 49(1), 69--89 |
website zbMATH |
| 2010 | Kuznets, Roman | Self-referential justifications in epistemic logic | Theory of Computing Systems | 46(4), 636--661 |
website zbMATH |
| 2010 | Kushida, Hirohiko | The modal logic of Gödel sentences | Journal of Philosophical Logic volume | 39(5), 577--590 |
website zbMATH |
| 2010 | Finger, Marcelo | Analytic methods for the logic of proofs | Journal of Logic and Computation | 20(1), 167--188 |
website zbMATH |
| 2010 | Bezhanishvili, Guram; Morandi, Patrick J. | Scattered and hereditarily irresolvable spaces in modal logic | Archive for Mathematical Logic | 49(3), 343--365 |
website zbMATH |
| 2010 | Beklemishev, Lev D.; Bezhanishvili, Guram; Icard, Thomas | On topological models of \(\mathbf{GLP}\) | Ways of proof theory | 135--155 |
Preprint website zbMATH |
| 2010 | Beklemishev, Lev D. | On the Craig interpolation and the fixed point properties for \(\mathbf{GLP}\) | Proofs, categories and computations | 49--60 |
preprint zbMATH |
| 2010 | Beklemishev, Lev D. | Kripke semantics for provability logic GLP | Annals of Pure and Applied Logic | 161(6), 756--771 |
Preprint website zbMATH |
| 2009 | Renne, Bryan | Propositional games with explicit strategies | Information and Computation | 207(10), 1015--1043 |
website zbMATH |
| 2009 | Poggiolesi, Francesca | A purely syntactic and cut-free sequent calculus for the modal logic of provability | The Review of Symbolic Logic | 2(4), 593--611 |
website zbMATH |
| 2009 | Icard, Thomas | A topological study of the closed fragment of \(\mathbf{GLP}\) | Journal of Logic and Computation | 21(4), 683--696 |
website zbMATH |
| 2009 | Goris, Evan | A modal provability logic of explicit and implicit proofs | Annals of Pure and Applied Logic | 161(3), 388--403 |
website zbMATH |
| 2009 | Esakia, Leo | Around provability logic | Annals of Pure and Applied Logic | 161(2), 174--184 |
website zbMATH |
| 2009 | Bílková, Marta; De Jongh, Dick; Joosten, Joost J. | Interpretability in \(\mathrm{PRA}\) | Annals of Pure and Applied Logic | 161(2), 128--138 |
arXiv website zbMATH |
| 2009 | Alberucci, Luca; Facchini, Alessandro | On modal \(\mu\)-calculus and Gödel-Löb logic | Studia Logica | 91(2), 145--169 |
website zbMATH |
| 2008 | Vuković, Mladen | Bisimulations between generalized Veltman models and Veltman models | Mathematical Logic Quarterly | 54(4), 368--373 |
website zbMATH |
| 2008 | Visser, Albert | Closed fragments of provability logics of constructive theories | The Journal of Symbolic Logic | 73(3), 1081--1096 |
Preprint website zbMATH |
| 2008 | Shapirovsky, Ilya | PSPACE-decidability of Japaridze's polymodal logic | Advances in Modal Logic | 7, 289--304 |
website zbMATH |
| 2008 | Sasaki, Katsumi | On sequent systems of the provability logic \(\mathbf{R}^-\) for Rosser sentences | アカデミア. 数理情報編 : 南山大学紀要 | 8, 1--14 |
website |
| 2008 | Muravitsky, Alexei Yu. | The contribution of A.V. Kuznetsov to the theory of modal systems and structures | Logic and Logical Philosophy | 17(1-2), 41--58 |
website |
| 2008 | Maksimova, Larisa L. | Interpolation and implicit definability in extensions of the provability logic | Logic and Logical Philosophy | 17(2), 129--142 |
website zbMATH |
| 2017 | Lindström, Per; Shavrukov, V. Yu. | Corrigendum The \(\forall \exists\) theory of Peano \(\Sigma_1\) sentences | Journal of Mathematical Logic | 17(1), 1--3 |
website zbMATH |
| 2008 | Lindström, Per; Shavrukov, V. Yu. | The \(\forall \exists\) theory of Peano \(\Sigma_1\) sentences | Journal of Mathematical Logic | 8(2), 251--280 |
website zbMATH |
| 2008 | Kuznets, Roman | Self-referentiality of justified knowledge | Computer science – theory and applications | LNCS 5010, 228--239 |
website zbMATH |
| 2008 | Goris, Evan; Joosten, Joost J. | Modal matters for interpretability logics | Logic Journal of the IGPL | 16(4), 371--412 |
arXiv website zbMATH |
| 2008 | Fitting, Melvin | A quantified logic of evidence | Annals of Pure and Applied Logic | 152(1-3), 67--83 |
website abMATH |
| 2008 | Fitting, Melvin | S4LP and local realizability | Computer science – theory and applications | LNCS 5010, 168--179 |
website zbMATH |
| 2008 | Artemov, Sergei N.; Nogina, Elena | The topology of justification | Logic and Logical Philosophy | 17(1-2), 59--71 |
website zbMATH |
| 2008 | Artemov, Sergei N. | Symmetric Logic of Proofs | Pillars of computer science | LNCS 4800, 58--71 |
website zbMATH |
| 2007 | Raţă, Mefodie | Recursive unsolvability of a problem of expressibility in the logic of provability | ROMAI Journal | 3(1), 185--188 |
pdf zbMATH |
| 2007 | Milnikel, Robert | Derivability in certain subsystems of the Logic of Proofs is \(\Pi^p_2\)-complete | Annals of Pure and Applied Logic | 145(3), 223--239 |
website zbMATH |
| 2007 | Goris, Evan | Explicit proofs in formal provability logic | LFCS 2007 | LNCS 4514, 241--253 |
website zbMATH |
| 2007 | Fedorishin, B. R. | An explicit basis for the admissible inference rules in the Gödel-Löb logic GL | Siberian Mathematical Journal | 48(2), 339--345 |
website zbMATH |
| 2007 | Artemov, Sergei N.; Iemhoff, Rosalie | The basic intuitionistic logic of proofs | The Journal of Symbolic Logic | 72(2), 439--451 |
website zbMATH |
| 2007 | Artemov, Sergei N. | On two models of provability | Mathematical problems from applied logic. II | 1--52 |
website zbMATH |
| 2006 | Yavorskaya, Tatiana | Logic of proofs and labels with a complete set of operations | Journal of Logic and Computation | 16(5), 697--710 |
website zbMATH |
| 2006 | Visser, Albert; De Jonge, Maartje | No escape from Vardanyan's theorem | Archive for Mathematical Logic | 45(5), 539--554 |
Preprint website zbMATH |
| 2006 | van Benthem, Johan | Modal frame correspondences and fixed-points | Studia Logica | 83(1-3), 133--155 |
website zbMATH |
| 2006 | Sasaki, Katsumi | Provability logic and Grzegorczyk logic | アカデミア. 数理情報編 : 南山大学紀要 | 6, 61--68 |
website |
| 2006 | Naumov, Pavel G. | On modal logic of deductive closure | Annals of Pure and Applied Logic | 141(1-2), 218--224 |
website zbMATH |
| 2006 | Lindström, Per | Note on some fixed point constructions in provability logic | Journal of Philosophical Logic | 35(3), 225--230 |
website zbMATH |
| 2006 | Krupski, Vladimir N. | Reference constructions in the single-conclusion proof logic | Journal of Logic and Computation | 16(5), 645--661 |
website zbMATH |
| 2006 | Krupski, Vladimir N. | Referential logic of proofs | Theoretical Computer Science | 357(1-3), 143--166 |
website zbMATH |
| 2006 | Krupski, Nikolai V. | Minimal models and the complexity of fragments of the logic of proofs | Vestnik Moskovskogo Universiteta. Seriya I. Matematika, Mekhanika | 1, 52--53 |
website zbMATH |
| 2006 | Krupski, Nikolai V. | On the complexity of the reflected logic of proofs | Theoretical Computer Science | 357(1-3), 136--142 |
website zbMATH |
| 2006 | Goris, Evan | Interpolation and the interpretability logic of \(\mathbf{PA}\) | Notre Dame Journal of Fomal Logic | 47(2), 179--195 |
website zbMATH |
| 2006 | Beklemishev, Lev D.; Visser, Albert | Problems in the logic of provability | Mathematical problems from applied logic. I | 77--136 |
Preprint website zbMATH |
| 2006 | Beklemishev, Lev D. | The worm principle | Logic colloquium ’02 | LNL 27, 75--95 |
Preprint website zbMATH |
| 2005 | Yavorskiy, Rostislav | On Kripke-style semantics for the provability logic of Gödel's proof predicate with quantifiers on proofs | Journal of Logic and Computation | 15(4), 539--549 |
Preprint website zbMATH |
| 2005 | Yavorskaya, Tatiana | Negative operations on proofs and labels | Journal of Logic and Computation | 15(4), 517--537 |
Preprint website zbMATH |
| 2005 | Vuković, Mladen | Hennessy–Milner theorem for interpretability logic | Bulletin of the Section of Logic | 34(4), 195--201 |
website zbMATH |
| 2005 | Visser, Albert | Löb’s logic meets the \(\mu\)-calculus | Processes, terms and cycles: steps on the road to infinity | LNCS 3838, 14--25 |
website zbMATH |
| 2005 | Joosten, Joost J. | The closed fragment of the interpretability logic of PRA with a constant for \(I\Sigma_1\) | Notre Dame Journal Formal Logic | 46(2), 127--146 |
Preprint website zbMATH |
| 2005 | Jeřábek, Emil | Admissible rules of modal logics | Journal of Logic and Computation | 15(4), 411--431 |
Preprint website zbMATH |
| 2005 | Iemhoff, Rosalie; De Jongh, Dick; Zhou, Chunlai | Properties of intuitionistic provability and preservativity logics | Logic Journal of the IGPL | 13(6), 615--636 |
website zbMATH |
| 2005 | Fitting, Melvin | The logic of proofs, semantically | Annals of Pure and Applied Logic | 132(1), 1--25 |
website zbMATH |
| 2005 | De Jonge, Maartje | Vardanyan's theorem for extensions of \(I\Sigma_1\) | Utrecht University Logic Group Preprint Series | 241 |
Preprint |
| 2005 | Carlucci, Lorenzo | Worms, gaps, and hydras | Mathematical Logic Quarterly | 51(4), 342--350 |
website zbMATH |
| 2005 | Beklemishev, Lev D.; Visser, Albert | On the limit existence principles in elementary arithmetic and \(Σ^0_n\)-consequences of theories | Annals of Pure and Applied Logic | 136(1-2), 56--74 |
Preprint website zbMATH |
| 2005 | Beklemishev, Lev D.; Joosten, Joost J.; Vervoort, Marco | A finitary treatment of the closed fragment of Japaridze's provability logic | Journal of Logic and Computation | 15(4), 447--463 |
Preprint website zbMATH |
| 2005 | Beklemishev, Lev D. | Reflection principles and provability algebras in formal arithmetic | Russian Mathematical Surveys | 60(2), 197--268 |
Preprint website zbMATH |
| 2005 | Artemov, Sergei N.; Nogina, Elena | Introducing justification into epistemic logic | Journal of Logic and Computation | 15(6), 1059--1073 |
website zbMATH |
| 2005 | Artemov, Sergei N.; Beklemishev, Lev D. | Provability Logic | Handbook of Philosophical Logic, Second Edition | 13, 229--403 |
Preprint website |
| 2004 | Vuković, Mladen | Generalized Veltman models with a root | Mathematical Communications | 9(1), 105--111 |
website zbMATH |
| 2004 | Sasaki, Katsumi; Ohama, Shigeo | A sequent system of the logic \(\mathbf{R}^-\) for Rosser sentences | Bulletin of the Section of Logic | 33(1), 11--21 |
website zbMATH |
| 2004 | Esakia, Leo | Intuitionistic logic and modality via topology | Annals of Pure and Applied Logic | 127(1-3), 155--170 |
website zbMATH |
| 2004 | De Jonge, Rene | IL-modellen en bisimulaties |
Report | ||
| 2004 | Buszkowski, Wojciech | A representation theorem for co-diagonalizable algebras | Reports on Mathematical Logic | 38, 13--22 |
website zbMATH |
| 2004 | Bílková, Marta; Goris, Evan; Joosten, Joost J. | Smart labels | Liber Amicorum for Dick de Jongh |
pdf | |
| 2004 | Beklemishev, Lev D. | Provability algebras and proof-theoretic ordinals. I | Annals of Pure and Applied Logic | 128(1-3), 103--123 |
Preprint website zbMATH |
| 2004 | Artemov, Sergei N.; Nogina, Elena | Logic of knowledge with justifications from the provability perspective | CUNY Technical Notes |
Report | |
| 2003 | 佐々木 克巳 | 証明可能性の論理と解釈可能性の論理におけるレーブの公理の性質を用いたカット除去定理の証明 | 数理解析研究所講究録 | 1301, 1--12 |
website |
| 2003 | Yavorskij, R.E. | On prenex fragment of provability logic with quantifiers on proofs | Proceedings of the Steklov Institute of Mathematics | 242, 112--124 |
website zbMATH |
| 2003 | Vuković, Mladen | A note on semantics of the interpretability logic \(IL(KW1)\) | Bulletin of the Section of Logic | 32(3), 109--115 |
website zbMATH |
| 2003 | Svejdar, Vitezslav | The decision problem of provability logic with only one atom | Archive for Mathematical Logic | 42(8), 763--768 |
website zbMATH |
| 2003 | Sasaki, Katsumi | A sequent system for a sublogic of the smallest interpretability logic | アカデミア. 数理情報編 : 南山大学紀要 | 3, 1--17 |
website |
| 2003 | Esakia, Leo | A topological interpretation of provability predicate in Peano arithmetic and Zermelo-Fraenkel set theory | Proceedings of A. Razmadze Mathematical Institute | 131, 114--115 |
website zbMATH |
| 2003 | Iemhoff, Rosalie | Preservativity logic: An analogue of interpretability logic for constructive theories | Mathematical Logic Quarterly | 49(3), 230--249 |
website zbMATH |
| 2002 | Yavorsky, Rostislav E. | On arithmetical completeness of first order logics of provability | Advances in Modal Logic | 3, 1--16 |
website zbMATH |
| 2002 | Yavorskaya, Tatiana | Logic of proofs and provability | Annals of Pure and Applied Logic | 113(1-3), 345--372 |
website zbMATH |
| 2002 | Visser, Albert | Substitutions of \(\Sigma^0_1\)-sentences: explorations between intuitionistic propositional logic and intuitionistic arithmetic | Annals of Pure and Applied Logic | 114(1-3), 227--271 |
website zbMATH |
| 2002 | Skura, Tomasz | Refutations, proofs, and models in the modal logic \(\mathbf{K4}\) | Studia Logica | 70(2), 193--204 |
website zbMATH |
| 2002 | Sasaki, Katsumi | On sequent systems for bimodal provability logics \(\mathbf{MOS}\) and \(\mathbf{PRL}_1\) | Bulletin of the Section of Logic | 31(2), 91--101 |
website zbMATH |
| 2002 | Sasaki, Katsumi | A sequent system for the interpretability logic with the persistence axiom | アカデミア. 数理情報編 : 南山大学紀要 | 2, 25--34 |
website |
| 2002 | Sasaki, Katsumi | A cut-free sequent system for the smallest interpretability logic | Studia Logica | 70(3), 353--372 |
website zbMATH |
| 2002 | Sacchetti, Lorenzo | Incompleteness and fixed points | Mathematical Logic Quarterly | 48(1), 15--28 |
website zbMATH |
| 2002 | Ratsa, Mefodii, F. | A formal reduction of the general problem of expressibility of formulas in the Gödel-Löb provability logic | Discrete Mathematics and Applications | 12(3), 279--290 |
website zbMATH |
| 2002 | Esakia, Leo | A modal version of Gödel's second incompleteness theorem, and the McKinsey system | Logical investigations | 9, 292--300 |
zbMATH |
| 2002 | Demri, Stéphane and Goré, Rajeev | Theoremhood-preserving maps characterizing cut elimination for modal provability logics | Journal of Logic and Computation | 12(5), 861--884 |
website zbMATH |
| 2001 | Zolin, E. E. | Sequent logic of arithmetic decidability | Moscow University Mathematics Bulletin | 56(6), 22--27 |
pdf website zbMATH |
| 2001 | Yavorsky, Rostislav E. | Provability logics with quantifiers on proofs | Annals of Pure and Applied Logic | 113(1-3), 373--387 |
website zbMATH |
| 2001 | Sasaki, Katsumi | Löb's axiom and cut-elimination theorem | アカデミア. 数理情報編 : 南山大学紀要 | 1, 91--98 |
website |
| 2001 | Sacchetti, Lorenzo | The fixed point property in modal logic | Notre Dame Journal of Formal Logic | 42(2), 65--86 |
website zbMATH |
| 2001 | Nortmann, Ulrich | How to extend the dialogical approach to provability logic | Synthese | 127(1-2), 95--103 |
website zbMATH |
| 2001 | Krupski, Vladimir N. | The single-conclusion proof logic and inference rules specification | Annals of Pure and Applied Logic | 113(1-3), 181--206 |
website zbMATH |
| 2001 | Iemhoff, Rosalie | A modal analysis of some principles of the provability logic of Heyting Arithmetic | Advances in Modal Logic | 2, 309--336 |
Preprint website zbMATH |
| 2001 | Artemov, Sergei N.; Yavorskaya, Tatiana | On first order logic of proofs | Moscow Mathematical Journal | 1(4), 475--490 |
website zbMATH |
| 2001 | Artemov, Sergei N. | Unified semantics for modality and \(\lambda\)-terms via proof polynomials | Algebras, diagrams and decisions in language, logic and computation | 89--118 |
website zbMATH |
| 2001 | Artemov, Sergei N. | Operations on proofs that can be specified by means of modal logic | Advances in Modal Logic | 2, 59--72 |
Report website zbMATH |
| 2001 | Artemov, Sergei N. | Explicit provability and constructive semantics | The Bulletin of Symbolic Logic | 7(1), 1--36 |
website zbMATH |
| 2001 | Areces, Carlos; Hoogland, Eva; De Jongh, Dick | Interpolation, definability and fixed points in interpretability logics | Advances in Modal Logic | 2, 35--58 |
website zbMATH |
| 2000 | Zolin, E. E. | Embeddings of propositional monomodal logics | Logic Journal of the IGPL | 8(6), 861--882 |
website zbMATH |
| 2000 | Yavorsky, Rostislav E. | On the logic of the standard proof predicate | CSL 2000 | LNCS 1862, 527--541 |
website zbMATH |
| 2000 | Yanov, Yu. I. | Modal logics and arithmetic | (), -- |
| |
| 2000 | Ratsa, M. F.; Russu, A. G. | On some properties of complete by expressibility systems of formulas in the Gödel–Löb provability logic | Discrete Mathematics and Applications | 10(6), 553--570 |
website zbMATH |
| 2000 | Ratsa, Mefodii F. | Algorithmical undecidability of the expressibility problem in free diagonalizable algebra | Buletinul Institutului Politehnic din Iași. Secția I. Matematică, Mecanică Teoretică, Fizică | 46(50)(1-2), 19--22 |
zbMATH |
| 2000 | Niebergall, Karl-Georg | On the logic of reducibility: Axioms and examples | Erkenntnis | 53, 27--61 |
website zbMATH |
| 2000 | Mares, Edwin D. | The incompleteness of \(\mathbf{RGL}\) | Studia Logica | 65(3), 315--322 |
website zbMATH |
| 2000 | Kuznets, Roman | On the complexity of explicit modal logics | CSL2000 | LNCS 1862, 371--383 |
website zbMATH |
| 2000 | Joosten, Joost J.; Visser, Albert | The interpretability logic of all reasonable arithmetical theories. The new conjecture | Erkenntnis | 53(1-2), 3--26 |
arXiv website zbMATH |
| 2000 | Ghilardi, Silvio | Best solving modal equations | Annals of Pure and Applied Logic | 102(3), 183--198 |
website zbMATH |
| 1999 | Vuković, Mladen | Characteristic classes and bisimulations of generalized Veltman models | Grazer Mathematische Berichte | 341, 7--16 |
zbMATH |
| 1999 | Vuković, Mladen | The principles of interpretability | Notre Dame Journal of Formal Logic | 40(2), 227--235 |
website zbMATH |
| 1999 | Švejdar, Vítězslav | On provability logic | Nordic Journal of Philosophical Logic | 4(2), 95--116 |
pdf zbMATH |
| 1999 | Strannegård, Claes | Interpretability over Peano arithmetic | The Journal of Symbolic Logic | 64(4), 1407--1425 |
Preprint website zbMATH |
| 1999 | Stéephane Demri; Rajeev Goré | Tractable transformations from modal provability logics into first-order logic | CADE 1999 | LNCS 1632, 16--30 |
website zbMATH |
| 1999 | Krupski, Vladimir N. | On proof term representation for PA-admissible inference rules | Reports of Enlarged Sessions of the Seminar of I. Vekua Institute of Applied Mathematics | 14(4), 47--48 |
zbMATH |
| 1999 | Gentilini, Paolo | Proof-theoretic modal PA-completeness III: The syntactic proof | Studia Logica | 63(3), 301--310 |
website zbMATH |
| 1999 | Gentilini, Paolo | Proof-Theoretic modal PA-completeness II : The syntactic countermodel | Studia Logica | 63(2), 245--268 |
website zbMATH |
| 1999 | Gentilini, Paolo | Proof-theoretic modal PA-completeness I: A system-sequent metric | Studia Logica | 63(1), 27--48 |
website zbMATH |
| 1999 | De Jongh, Dick; Veltman, Frank | The modal completeness of \(\mathbf{ILW}\) | JFAK | -- |
pdf website |
| 1999 | De Jongh, Dick; Pianigiani, Duccio | Solution of a problem of David Guaspari | Logic at Work | 246--254 |
Preprint website zbMATH |
| 1999 | Beklemishev, Lev D. | Classification of propositional provability logics | Provability, complexity, grammars | 1--56 |
amazon zbMATH |
| 1999 | Artemov, Sergei N. | Uniform provability realization of intuitionistic logic, modality and \(\lambda\)-terms | Electronic Notes in Theoretical Computer Science | 23(1), 3--12 |
website zbMATH |
| 1999 | Artemov, Sergei N. | Realization of intuitionistic logic by proof polynomials | Journal of Applied Non-Classical Logics | 9(2-3), 285--301 |
website zbMATH |
| 1999 | Artemov, Sergei N. | On explicit reflection in theorem proving and formal verification | CADE 1999 | LNCS 1632, 267--281 |
website zbMATH |
| 1998 | Yavorskii, R.E. | Predicate logics for decidable fragments of arithmetic | Moscow University Mathematics Bulletin | 53(2), 11--15 |
website zbMATH |
| 1998 | Wolter, Frank | All finitely axiomatizable subframe logics containing the provability logic \(\mathbf{CSM}_0\) are decidable | Archive for Mathematical Logic | 37(3), 167--182 |
website zbMATH |
| 1998 | Vuković, Mladen | The interpretability logic \(\mathbf{ILF}\) | Mathematical Communications | 3(2), 205--210 |
website zbMATH |
| 1998 | Visser, Albert | An overview of interpretability logic | Advances in Modal Logic | 1, 307--359 |
Preprint website zbMATH |
| 1998 | Sidon, Tatiana | Nonaxiomatizability of predicate logics of proofs | Moscow University Mathematics Bulletin | 53(6), 17--21 |
website zbMATH |
| 1998 | Pliuškevičienė, Aida | Extended disjunction and existence properties for some predicate modal logics | Logic Journal of the IGPL | 6(5), 775--787 |
website zbMATH |
| 1998 | Japaridze, Giorgi; De Jongh, Dick | The logic of provability | Handbook of proof theory | 475--546 |
website zbMATH |
| 1997 | Zolin, E. E. | The Craig interpolation property in logics of proofs with a strong provability operator | Moscow University Mathematics Bulletin | 52(4), 39--41 |
website zbMATH |
| 1997 | Yavorsky, Rostislav E. | Logical schemes for first order theories | LFCS 1997 | LNCS 1234, 410--418 |
website zbMATH |
| 1997 | Sidon, Tatiana | Provability logic with operations on proofs | LFCS 1997 | LNCS 1234, 342--353 |
website zbMATH |
| 1997 | Shavrukov, V. Yu. | Isomorphisms of diagonalizable algebras | Theoria | 63(3), 210--221 |
Preprint website |
| 1997 | Shavrukov, V. Yu. | Interpreting reflexive theories in finitely many axioms | Fundamenta Mathematicae | 152(2), 99--116 |
Preprint website zbMATH |
| 1997 | Shavrukov, V. Yu. | Undecidability in diagonalizable algebras | The Journal of Symbolic Logic | 62(1), 79--116 |
website zbMATH |
| 1997 | Mkrtychev, Alexey | Models for the logic of proofs | LFCS 1997 | LNCS 1234, 266--275 |
website |
| 1997 | McGee, Vann | The complexity of the modal predicate logic of “true in every transitive model of ZF” | The Journal of Symbolic Logic | 62(4), 1371--17878 |
website zbMATH |
| 1997 | Krupski, Vladimir N. | Operational logic of proofs with functionality condition on proof predicate | LFCS ’97 | LNCS 1234, 167--177 |
website zbMATH |
| 1997 | Esakia, Leo | The interpretations of intuitionistic logic in terms of provability | Logical investigations | 5, 19--24 |
zbMATH |
| 1997 | Beklemishev, Lev D. | Notes on local reflection principles | Theoria | 63(3), 139--146 |
Preprint website |
| 1996 | Yavorskii, R.E. | Axiom systems and models for first-order theories with a provability operator | (), -- |
| |
| 1996 | Vuković, Mladen | Some correspondences of principles of interpretability logic | Glasnik Matematički. Serija III | 31(2), 193--200 |
website zbMATH |
| 1996 | Visser, Albert | Uniform interpolation and layered bisimulation | Gödel '96 | LNL 6, 139--164 |
Preprint website zbMATH |
| 1996 | Rybakov, V. V. | Elementary theories of free algebras for varieties corresponding to non-classical logics | Algebra | 199--208 |
website zbMATH |
| 1996 | Nogina, Elena | Grzegorczyk logic with arithmetical proof operators (in Russian) | Fundamental’naya i Prikladnaya Matematika | 2(2), 483--499 |
website zbMATH |
| 1996 | Lindström, Per | Provability logic---a short introduction | Theoria | 62(1-2), 19--61 |
website zbMATH |
| 1996 | Hendriks, Lex; De Jongh, Dick | Finitely generated Magari algebras and arithmetic | Logic and algebra | 137--160 |
ResearchGate website zbMATH |
| 1996 | Beklemishev, Lev D. | Remarks on Magari algebras of \(\mathrm{PA}\) and \(\mathrm{I\Delta_0+EXP}\) | Logic and algebra | 317--325 |
website zbMATH |
| 1996 | Beklemishev, Lev D. | Bimodal logics for extensions of arithmetical theories | The Journal of Symbolic Logic | 61(1), 91--124 |
website zbMATH |
| 1995 | Visser, Albert; van Benthem, Johan; De Jongh, Dick; Renardel de Lavalette, Gerard R. | NNIL, a study in intuitionistic propositional logic | Modal Logic and process Algebra, a bisimulation perspective | 289--326 |
Preprint |
| 1995 | Visser, Albert | A course on bimodal provability logic | Annals of Pure and Applied Logic | 73(1), 109--142 |
Preprint website zbMATH |
| 1995 | D'Agostino, Giovanna; Magnago, Mario | Complete, recursively enumerable relations in arithmetic | Mathematical Logic Quarterly | 41(1), 65--72 |
website zbMATH |
| 1994 | Zambella, Domenico | Shavrukov's theorem on the subalgebras of diagonalizable algebras for theories containing \(I\Delta_0 +\mathrm{exp}\) | Notre Dame Journal of Formal Logic | 34(3), 147--157 |
website zbMATH |
| 1994 | Visser, Albert | Propositional combinations of \(\Sigma\)-sentences in Heyting's Arithmetic | Utrecht University Logic Group Preprint Series | 117 |
Peprint |
| 1994 | Straßen, Tyko | Syntactical models and fixed points for the basic logic of proofs | Annals of Mathematics and Artificial Intelligence | 12(3-4), 291--321 |
website zbMATH |
| 1994 | Sidon, Tatiana | Craig interpolation property in modal logics with provability interpretation | LFCS ’94 | LNCS (813), 329--340 |
website zbMATH |
| 1994 | Shavrukov, V. Yu. | A smart child of Peano's | Notre Dame Journal of Formal Logic | 35(2), 161--185 |
website zbMATH |
| 1994 | Ratsa, M. F.; Russu, A. Gh. | The construction of a numerable collection of precomplete classes of formulae in the provability logic | Buletinul Academiei de Științe a Republicii Moldova. Matematica | 1(14), 66--74 |
website zbMATH |
| 1994 | Nogina, Elena | Logic of Proofs with the strong provability operator |
Report | ||
| 1994 | McGee, Vann | On the degrees of unsolvability of modal predicate logics of provability | The Journal fof Symbolic Logic | 59(1), 253--261 |
website zbMATH |
| 1994 | Japaridze, Giorgi | A simple proof of arithmetical completeness for \(\Pi_1\)-conservativity logic | Notre Dame Journal of Formal Logic | 35(3), 346--354 |
website zbMATH |
| 1994 | Japaridze, Giorgi | The logic of arithmetical hierarchy | Notre Dame Journal of Formal Logic | 35(3), 346--354 |
website zbMATH |
| 1994 | Hawranek, Jacek | The Gödel-Löb modal system in algebraic terms | Acta Universitatis Wratislaviensis. Logika | 16 68 pp. |
zbMATH |
| 1994 | D'Agostino, Giovanna | Topological structure of diagonalizable algebras and corresponding logical properties of theories | Notre Dame Journal of Formal Logic | 35(4), 563--572 |
website zbMATH |
| 1994 | Beklemishev, Lev D. | On bimodal logics of provability | Annals of Pure and Applied Logic | 68(2), 115--159 |
website zbMATH |
| 1994 | Balbiani, Philippe; Herzig, Andreas | A translation from the modal logic of provability into \(\mathbf{K4}\) | Journal of Applied Non-Classical Logics | 4(1), 73--77 |
website zbMATH |
| 1994 | Artëmov, Sergei N.; Montagna, Franco | On first-order theories with provability operator | The Journal of Symbolic Logic | 59(4), 1139--1153 |
website zbMATH |
| 1994 | Artëmov, Sergei N. | Logic of proofs | Annals of Pure and Applied Logic | 67(1-3), 29--59 |
website zbMATH |
| 1993 | Verbrugge, Rineke | Feasible interpretability | Arithmetic, proof theory, and computational complexity | 387--428 |
Preprint zbMATH |
| 1993 | Tuttas, Friedemann | An arithmetical completeness theorem for pre-permutations | Notre Dame Journal of Formal Logic | 34(1), 84--89 |
website zbMATH |
| 1993 | Shavrukov, V. Yu. | Subalgebras of diagonalizable algebras of theories containing arithmetic | Dissertationes Mathematicae | 323, 82 pp. |
website zbMATH |
| 1993 | Shavrukov, V. Yu. | A note on the diagonalizable algebras of PA and ZF | Annals of Pure and Applied Logic | 61(1-2), 161--173 |
website zbMATH |
| 1993 | Naumov, Pavel G. | Undecidability of a second-order provability logic with operation of comparison of witnesses | Moscow University Mathematics Bulletin | 48(3), 13--15 |
website zbMATH |
| 1993 | Naumov, Pavel G. | Insolubility of Gödel-Löb logic with quantifiers of propositional variables | Moscow University Mathematics Bulletin | 48(2), 11--13 |
website zbMATH |
| 1993 | Mardaev, S. I. | Least fixed points in the Gödel-Löb logic | Algebra and Logic | 32(6), 372--375 |
website zbMATH |
| 1993 | Ignatiev, Konstantin N. | The provability logic for \(\Sigma_1\)-interpolability | Annals of Pure and Applied Logic | 64(1), 1--25 |
website zbMATH |
| 1993 | Ignatiev, Konstantin N. | On strong provability predicates and the associated modal logics | The Journal of Symbolic Logic | 58(1), 249--290 |
website zbMATH |
| 1993 | Hájek, Petr; Montagna, Franco; Pudlak, Pavel | Abbreviating proofs using metamathematical rules | Arithmetic, proof theory, and computational complexity | 197--221 |
zbMATH |
| 1993 | Haeusler, Edward Hermann; Pereira, Luiz Carlos | A formalization of Sambins's normalization for GL | Mathematical Logic Quarterly | 39(1), 133--142 |
website zbMATH |
| 1993 | Gentilini, Paolo | Syntactical results on the arithmetical completeness of modal logic | Studia Logica | 52(4), 549--564 |
website zbMATH |
| 1993 | Dzhaparidze, Giorgie | A generalized notion of weak interpretability and the corresponding modal logic | Annals of Pure and Applied Logic | 61(1-2), 113--160 |
website zbMATH |
| 1993 | Boolos, George | The analytical completeness of Dzhaparidze's polymodal logics | Annals of Pure and Applied Logic | 61(1-2), 95--111 |
website zbMATH |
| 1993 | Berarducci, Alessandro; Verbrugge, Rineke | On the provability logic of bounded arithmetic | Annals of Pure and Applied Logic | 61(1-2), 75--93 |
website zbMATH |
| 1993 | Beklemishev, Lev D. | On the complexity of arithmetical interpretations of modal formulae | Archive for Mathematical Logic | 32(3), 229--238 |
website zbMATH |
| 1993 | Artëmov, Sergei N.; Straßen, Tyko | The basic logic of proofs | CSL 1992 | LNCS 702, 14--28 |
website zbMATH |
| 1993 | Artemov, Sergei N.; Straßen, Tyko | The logic of the Gödel proof predicate | KGC 1993 | LNCS 713, 71--82 |
website zbMATH |
| 1993 | Artemov, Sergei N.; Beklemishev, Lev D. | On propositional quantifiers in provability logic | Notre Dame Journal of Formal Logic | 34(3), 401--419 |
website zbMATH |
| 1992 | Zambella, Domenico | On the proofs of arithmetical completeness for interpretability logic | Notre Dame Journal of Formal Logic | 33(4), 542--551 |
website zbMATH |
| 1992 | Visser, Albert | An inside view of EXP or, The closed fragment of the provability logic of \(I\Delta_0 + \Omega_1\) with a propositional constant for EXP | The Journal of Symbolic Logic | 57(1), 131--165 |
Preprint website zbMATH |
| 1992 | Montagna, Franco | Polynomially and superexponentially shorter proofs in fragments of arithmetic | The Journal of Symbolic Logic | 57(3), 844--863 |
website zbMATH |
| 1992 | Ignatiev, Konstantin N. | The closed fragment of Dzhaparidze's polymodal logic and the logic of \(\Sigma_1\)-conservativity |
Report | ||
| 1992 | Ignat'ev, Konstantin N. | On uniformity of a modal representation on enumerable extensions of arithmetic | Mathematical Notes | 51, 60--66 |
website zbMATH |
| 1992 | Hájek, Petr; Montagna, Franco | The logic of \(\Pi_1\)-conservativity continued | Archive for Mathematical Logic | 32(1), 57--63 |
website zbMATH |
| 1992 | Gentilini, Paolo | Provability logic in the Gentzen formulation of arithmetic | Zeitschrift für Mathematische Logik und Grundlagen der Mathematik | 38(1), 535--550 |
website zbMATH |
| 1992 | Dzhaparidze, Giorgie | The logic of linear tolerance | Studia Logica | 51(2), 249--277 |
website zbMATH |
| 1992 | De Rijke, Maarten | Unary interpretability logic | Notre Dame Journal of Formal Logic | 33(2), 249--272 |
website zbMATH |
| 1992 | D'Agostino, Giovanna | Reflexive points in the topological study of diagonalizable algebras | Bollettino della Unione Matemàtica Italiana. Series 7B | 6(4), 689--701 |
zbMATH |
| 1992 | Beklemishev, Lev D. | Independent enumerations of theories and recursive progressions | Siberian Mathematical Journal | 33(5), 760--783 |
website zbMATH |
| 1991 | 田畑 博敏 | 様相と証明可能性（I） | 鳥取大学教養部紀要 | 25, 1--31 |
website |
| 1991 | Visser, Albert | On the \(\Sigma^0_1\)-conservativity of \(\Sigma^0_1\)-completeness | Notre Dame Journal of Formal Logic | 32(4), 554--561 |
Preprint website zbMATH |
| 1991 | Visser, Albert | The formalization of interpretability | Studia Logica | 50(1), 81--105 |
Preprint website zbMATH |
| 1991 | Švejdar, Vítězslav | Some independence results in interpretability logic | Studia Logica | 50(1), 29--38 |
website zbMATH |
| 1991 | Shavrukov, V. Yu. | The Lindenbaum fixed point algebra is undecidable | Studia Logica | 50(1), 143--147 |
website zbMATH |
| 1991 | Shavrukov, V. Yu. | On Rosser's provability predicate | Zeitschrift für Mathematische Logik und Grundlagen der Mathematik | 37(4), 317--330 |
website zbMATH |
| 1991 | Kalsbeek, M.B. | Towards the Interpretability Logic of \(\mathrm{IΔ_0+EXP}\) | Utrecht University Logic Group Preprint Series | 61 |
Preprint |
| 1991 | Ignatiev, Konstantin N. | Partial conservativity and modal logics |
Report | ||
| 1991 | Hájek, Petr; Švejdar, Vítězslav | A note on the normal form of closed formulas of interpretability logic | Studia Logica | 50(1), 25--28 |
website zbMATH |
| 1991 | Dzhaparidze, Giorgi | Predicate provability logic with non-modalized quantifiers | Studia Logica | 50(1), 147--160 |
website zbMATH |
| 1991 | De Rijke, Maarten | A note on the interpretability logic of finitely axiomatized theories | Studia Logica | 50(2), 241--250 |
website zbMATH |
| 1991 | De Jongh, Dick; Visser, Albert | Explicit fixed points in interpretability logic | Studia Logica | 50(1), 39--49 |
Preprint website zbMATH |
| 1991 | De Jongh, Dick; Montagna, Franco | Rosser orderings and free variables | Studia Logica | 50(1), 71--80 |
website zbMATH |
| 1991 | De Jongh, Dick; Jumelet, Marc; Montagna, Franco | On the proof of Solovay's theorem | Studia Logica | 50(1), 51--69 |
website zbMATH |
| 1991 | Carbone, Alessandra | Provable fixed points in \(\mathrm{I\Delta_0 + \Omega_1}\) | Notre Dame Journal of Formal Logic | 32(4), 562--572 |
website zbMATH |
| 1991 | Boolos, George; Sambin, Giovanni | Provability: the emergence of a mathematical modality | Studia Logica | 50(1), 1--23 |
website zbMATH |
| 1991 | Beklemishev, Lev D. | Provability logics for natural Turing progressions of arithmetical theories | Studia Logica | 50(1), 109--128 |
website zbMATH |
| 1991 | Avron, Arnon | A note of provability, truth and existence | Journal of Philosophical Logic | 20(4), 403--409 |
website zbMATH |
| 1990 | Voorbraak, Frans | A simplification of the completeness proofs for Guaspari and Solovay's \(\mathbf{R}\) | Notre Dame Journal of Formal Logic | 31(1), 44--63 |
Preprint website zbMATH |
| 1990 | Visser, Albert | Interpretability logic | Mathematical Logic | 175--209 |
Preprint website zbMATH |
| 1990 | Simonova, I. G. | Interpolation property for extensions of intuitionistic proof logic | Mathematical notes of the Academy of Sciences of the USSR | 47(5), 483--490 |
website zbMATH |
| 1990 | Shavrukov, V. Yu. | On two extensions of the provability logic GL | Mathematics of the USSR, Sbornik | 69(1), 255--270 |
website zbMATH |
| 1990 | Rybakov, V. V. | Logical equations and admissible rules of inference with parameters in modal provability logics | Studia Logica | 49(2), 215--239 |
website zbMATH |
| 1990 | Reidhaar-Olson, Lisa | A new proof of the fixed-point theorem of provability logic | Notre Dame Journal of Formal Logic | 31(1), 37--43 |
website zbMATH |
| 1990 | Nogina, Elena | On classes of arithmetical counterparts of modal provability logics | Moscow University Mathematics Bulletin | 45(1), 31--33 |
website zbMATH |
| 1990 | Muravitskij, A. Yu. | Magari and \(\Delta\)-pseudo-Boolean algebras | Siberian Mathematical Journal | 31(4), 623--628 |
website zbMATH |
| 1990 | Montagna, Franco; Sommaruga, Giovanni | A note on some extension results | Studia Logica | 49(4), 591--600 |
website zbMATH |
| 1990 | Kirov, Krassimir A. | On the algebra of closed formulas in the intuitionistic version of GL | Doklady Bolgarskoĭ Akademii Nauk | 43(4), 9--12 |
zbMATH |
| 1990 | Hawranek, Jacek | A topological interpretation of diagonalizable algebras | Bulletin of the Section of Logic | 19(4), 117--121 |
website zbMATH |
| 1990 | Hájek, Petr; Montagna, Franco | The logic of \(\Pi_1\)-conservativity | Archive for Mathematical Logic | 30(2), 113--123 |
website zbMATH |
| 1990 | Gleit, Zachary; Goldfarb, Warren | Characters and fixed-points in provability logic | Notre Dame Journal Formal Logic | 31(1), 26--36 |
website zbMATH |
| 1990 | Dzhaparidze, Giorgie | Provability logic with modalities for arithmetical complexities | Soobshcheniya Akademii Nauk Gruzinskoĭ SSR | 138(3), 481--484 |
zbMATH |
| 1990 | Dzhaparidze, Giorgie | Decidable and enumerable predicate logics of provability | Studia Logica | 49(1), 7--21 |
website zbMATH |
| 1990 | De Rijke, Maarten | Bi-unary interpretability logic |
Report | ||
| 1990 | De Jongh, Dick; Veltman, Frank | Provability logics for relative interpretability | Mathematical logic | 31--42 |
website zbMATH |
| 1990 | Chagrov, Alexander V. | Undecidable properties of extensions of a provability logic. II | Algebra and Logic | 29(5), 406--413 |
website zbMATH |
| 1990 | Chagrov, Alexander V. | Undecidable properties of extensions of the logic of provability | Algebra and Logic | 29(3), 231--243 |
website zbMATH |
| 1990 | Carbone, Alessandra; Montagna, Franco | Much shorter proofs: a bimodal investigation | Zeitschrift für Mathematische Logik und Grundlagen der Mathematik | 36(1), 47--66 |
website zbMATH |
| 1990 | Buss, Samuel R. | The modal logic of pure provability | Notre Dame Journal of Formal Logic | 31(2), 225--231 |
website zbMATH |
| 1990 | Blass, Andreas | Infinitary combinatorics and modal logic | The Journal of Symbolic Logic | 55(2), 761--778 |
website zbMATH |
| 1990 | Berarducci, Alessandro | The interpretability logic of Peano arithmetic | The Journal of Symbolic Logic | 55(3), 1059--1089 |
website zbMATH |
| 1990 | Beklemishev, Lev D. | On the classification of propositional provability logics | Mathematics of the USSR. Izvestiya | 35(2), 247--275 |
website |
| 1990 | Artemov, Sergei N.; Japaridze, G. K. | Finite Kripke models and predicate logics of provability | The Journal of Symbolic Logic | 55(3), 1090--1098 |
website zbMATH |
| 1990 | Artemov, Sergei N. | Uniform arithmetic completeness of modal provability logics | Mathematical notes of the Academy of Sciences of the USSR | 48(1), 625--629 |
website zbMATH |
| 1989 | Visser, Albert | Peano's smart children a provability logical study of systems with built-in consistency | Notre Dame Journal of Formal Logic | 30(2), 161--196 |
Preprint website zbMATH |
| 1989 | Smoryński, Craig | Arithmetic analogues of McAloon's unique Rosser sentences | Archive for Mathematical Logic | 28(1), 1--21 |
Preprint website zbMATH |
| 1989 | Maksimova, Larisa L. | Definability theorems in normal extensions of the provability logic | Studia Logica | 48(4), 495--507 |
website zbMATH |
| 1989 | Maksimova, Larisa L. | Continuum of normal extensions of the modal logic of provability with the interpolation property | Siberian Mathematical Journal | 30(6), 935--944 |
website zbMATH |
| 1989 | De Jongh, Dick; Montagna, Franco | Much shorter proofs | Zeitschrift für mathematische Logik und Grundlagen der Mathematik | 35(3), 247--260 |
website zbMATH |
| 1989 | Carbone, Alessandra; Montagna, Franco | Rosser orderings in bimodal logics | Zeitschrift für mathematische Logik und Grundlagen der Mathematik | 35(4), 343--358 |
website zbMATH |
| 1989 | Berarducci, Alessandro | \(\Sigma^0_n\)-interpretations of modal logic | Bollettino della Unione Matemàtica Italiana. Serie 7. A | 3(2), 177--184 |
zbMATH |
| 1989 | Beklemishev, Lev D. | Provability logic without Craig's interpolation property | Mathematical notes of the Academy of Sciences of the USSR | 45(6), 437--445 |
website zbMATH |
| 1988 | Visser, Albert | Preliminary notes on interpretability logic | Utrecht University Logic Group Preprint Series | 29 |
Preprint |
| 1988 | Montagna, Franco; Sommaruga, Giovanni | Rosser and Mostowski sentences | Archive for Mathematical Logic | 27(2), 115--133 |
HP zbMATH |
| 1988 | Maksimova, Larisa L. | Interpolation in infinitely layered extensions of provability logic | Algebra and Logic | 27(5), 361--376 |
website zbMATH |
| 1988 | Hobby, David | Finite fixed point algebras are subdiagonalisable | Algebra Universalis | 25(2), 210--222 |
zbMATH |
| 1988 | Esakia, Leo | Provability logic with quantifier modalities | Intensional logics and the logical structure of theories | 4--9 |
zbMATH |
| 1988 | Dzhaparidze, Giorgie | The polymodal provability logic | Intensional logics and the logical structure of theories | 16--48 |
ResearchGate zbMATH |
| 1988 | Dzhaparidze, Giorgie | Arithmetic completeness of provability logic with quantifier modalities | Soobshcheniya Akademii Nauk Gruzinskoĭ SSR | 132(2), 265--268 |
zbMATH |
| 1988 | De Jongh, Dick; Montagna, Franco | Provable fixed points | Zeitschrift für Mathematische Logik und Grundlagen der Mathematik | 34(3), 229--250 |
website zbMATH |
| 1988 | Bernardi, Claudio; D'Aquino, Paola | Topological duality for diagonalizable algebras | Notre Dame Journal of Formal Logic | 29(3), 345--364 |
website zbMATH |
| 1988 | Artemov, Sergei N.; Dzhaparidze, G. K. | On effective predicate logics of provability | Soviet Mathematics. Doklady | 36(3), 478--480 |
zbMATH |
| 1988 | Artëmov, Sergei N. | Degrees of insolubility of extensions of arithmetic by true propositions | Russian Mathematical Surveys | 43(2), 159--160 |
website zbMATH |
| 1988 | Abashidze, M. A. | Ordinal completeness of the Gödel-Löb modal system | Intensional logics and the logical structure of theories | 49--73 |
zbMATH |
| 1987 | Smoryński, Craig | Quantified modal logic and self-reference | Notre Dame Journal of Formal Logic | 28(3), 356--370 |
website zbMATH |
| 1987 | Montagna, Franco | Iterated extensional Rosser's fixed points and hyperhyperdiagonalizable algebras | Zeitschrift für Mathematische Logik und Grundlagen der Mathematik | 33(4), 293--303 |
website zbMATH |
| 1987 | Montagna, Franco | Provability in finite subtheories of PA and relative interpretability: a modal investigation | The Journal of Symbolic Logic | 52(2), 494--511 |
website zbMATH |
| 1987 | De Jongh, Dick; Montagna, Franco | Generic generalized Rosser fixed points | Studia Logica | 46(2), 193--203 |
website zbMATH |
| 1987 | De Jongh, Dick | A simplification of a completeness proof of Guaspari and Solovay | Studia Logica | 46(2), 187--192 |
website zbMATH |
| 1987 | Boolos, George; McGee, Vann | The degree of the set of sentences of predicate provability logic that are true under every interpretation | The Journal of Symbolic Logic | 52(1), 165--171 |
website zbMATH |
| 1987 | Beklemishev, Lev D. | Normalization of deductions and interpolation for some logics of provability | Russian Mathematical Surveys | 42(6), 223--224 |
website zbMATH |
| 1987 | Artemov, Sergei N. | Numerically correct logics of provability | Soviet Mathematics. Doklady | 34, 384--387 |
website zbMATH |
| 1987 | Artemov, Sergei N. | Superintuitionistic logics having a provability interpretation | Soviet Mathematics. Doklady | 34, 596--598 |
website zbMATH |
| 1986 | Vardanyan, V. A. | Arithmetic complexity of provability predicate logics and their fragments | Soviet Mathematics. Doklady | 33, 569--572 |
website zbMATH |
| 1986 | Valentini, Silvio | A syntactic proof of cut-elimination for \(GL_{lin}\) | Zeitschrift für Mathematische Logik und Grundlagen der Mathematik | 32(7-9), 137--144 |
website zbMATH |
| 1986 | Muravitsky, Alexei Yu. | Algebraic proof of the separation property for the intuitionistic provability calculus | Mathematics of the USSR-Sbornik | 59(2), 397--406 |
website zbMATH |
| 1986 | Kuznetsov, A. V.; Muravitsky, A. Yu. | On superintuitionistic logics as fragments of proof logic extensions | Studia Logica | 45, 77--99 |
website zbMATH |
| 1986 | Carlson, Timothy | Modal logics with several operators and provability interpretations | Israel Journal of Mathematics | 54, 14--24 |
website zbMATH |
| 1986 | Artemov, Sergei N. | On modal logics axiomatizing provability | Mathematics of the USSR. Izvestiya | 27, 401--429 |
website zbMATH |
| 1985 | Visser, Albert | Evaluation, provably deductive equivalence in Heyting's arithmetic of substitution instances of propositional formulas | Utrecht University Logic Group Preprint Series | 4 |
Preprint |
| 1985 | Ursini, Aldo | Decision problems for classes of diagonalizable algebras | Studia Logica | 44(1), 87--89 |
website zbMATH |
| 1985 | Solovay, Robert M. | Infinite fixed-point algebras | Recursion Theory | 473--486 |
zbMATH |
| 1985 | Smullyan, Raymond M. | Modality and self-reference | Intensional mathematics | 191--211 |
website zbMATH |
| 1985 | Smullyan, Raymond M. | Some principles related to Löb's theorem | Intensional mathematics | 213--230 |
website zbMATH |
| 1985 | Plyushkyavichene, A. | Generalized disjunction and existence properties for provability logic | Matematicheskaya Logika i eë Primeneniya | 4, 16--24 |
zbMATH |
| 1985 | Muravitsky, Alexei Yu. | A correspondence between extensions of the logic of intuitionistic provability and extensions of the logic of provability | Soviet Mathematics. Doklady | 31, 345--348 |
website zbMATH |
| 1985 | Kuznetsov, A. V. | Provability-intuitionistic propositional calculus | Izvestiya Akademii Nauk Moldavskoĭ SSR. Seriya Fiziko-Tekhnicheskikh i Matematicheskikh Nauk | 1, 49--50 |
zbMATH |
| 1985 | Hawranek, Jacek | A representation theorem for co-diagonalizable algebras | Bulletin of the Section of Logic | 14(3), 122--124 |
website zbMATH |
| 1985 | Boolos, George; Sambin, Giovanni | An incomplete system of modal logic | Journal of Philosophical Logic | 14, 351--358 |
website zbMATH |
| 1985 | Boolos, George | 1-consistency and the diamond | Notre Dame Journal of Formal Logic | 26(4), 341--347 |
website zbMATH |
| 1985 | Bernardi, Claudio; Mirolli, Massimo | Hyperdiagonalizable algebras | Algebra Universalis | 21, 89--102 |
website zbMATH |
| 1985 | Artemov, Sergei N. | Nonarithmeticity of truth predicate logics of provability | Soviet Mathematics. Doklady | 32, 403--405 |
website zbMATH |
| 1984 | Visser, Albert | The provability logics of recursively enumerable theories extending Peano arithmetic at arbitrary theories extending Peano arithmetic | Journal of Philosophical Logic | 13, 97--113 |
website zbMATH |
| 1984 | Smoryński, Craig | Modal logic and self-reference | Handbook of philosophical logic | 2, 441--495 |
website zbMATH |
| 1984 | Montagna, Franco | A completeness result for fixed-point algebras | Zeitschrift für Mathematische Logik und Grundlagen der Mathematik | 30, 525--532 |
website zbMATH |
| 1984 | Montagna, Franco | The predicate modal logic of provability | Notre Dame Journal of Formal Logic | 25(2), 179--189 |
website zbMATH |
| 1984 | Magari, Roberto | Algebraic logic and diagonal phenomena | Logic colloquium ’82 | 135--144 |
website zbMATH |
| 1984 | Kirov, Krassimir A. | An intuitionistic analogue of the modal logic of provability in Peano's arithmetic | (), -- |
| |
| 1984 | Boolos, George | The logic of provability | American Mathematical Monthly | 91, 470--480 |
website zbMATH |
| 1984 | Bernardi, Claudio; Montagna, Franco | Equivalence relations induced by extensional formulae: classification by means of a new fixed point property | Fundamenta Mathematicae | 124(3), 221--233 |
website zbMATH |
| 1984 | Avron, Arnon | On modal systems having arithmetical interpretations | The Journal of Symbolic Logic | 49(3), 935--942 |
website zbMATH |
| 1984 | Artemov, Sergei N. | On modal representations of extensions of Peano arithmetic | Comptes Rendus Mathématiques de l’Académie des Sciences | 6, 129--132 |
website zbMATH |
| 1983 | Valentini, Silvio; Solitro, Ugo | The modal logic of consistency assertions of Peano arithmetic | Zeitschrift für Mathematische Logik und Grundlagen der Mathematik | 29(1), 25--32 |
website zbMATH |
| 1983 | Velentini, Silvio | A "canonical" model for GL | Bollettino della Unione Matemàtica Italiana. Serie 6. A | 2, 361--368 |
zbMATH |
| 1983 | Valentini, Silvio | The modal logic of provability: cut-elimination | Journal of Philosophical Logic | 12, 471--476 |
website zbMATH |
| 1983 | Švejdar, Vítězslav | Modal analysis of generalized Rosser sentences | The Journal of Symbolic Logic | 48(3), 986--999 |
website zbMATH |
| 1983 | Muravitskii, A. Yu. | Extensions of the provability logic | Mathematical notes of the Academy of Sciences of the USSR | 33, 469--475 |
website zbMATH |
| 1983 | Montagna, Franco | The well-founded algebras | Algebra Universalis | 16(1), 38--46 |
website zbMATH |
| 1983 | Montagna, Franco | ZFC-models as Kripke-models | Zeitschrift für Mathematische Logik und Grundlagen der Mathematik | 29(3), 163--168 |
website zbMATH |
| 1983 | Hájek, Petr | Arithmetical interpretations of dynamic logic | The Journal of Symbolic Logic | 48(3), 704--713 |
website zbMATH |
| 1983 | Guaspari, David | Sentences implying their own provability | The Journal of Symbolic Logic | 48(3), 777--789 |
website zbMATH |
| 1983 | Borga, Marco | On some proof theoretical properties of the modal logic GL | Studia Logica | 42(4), 453--459 |
website zbMATH |
| 1982 | Visser, Albert | On the completeness principle: A study of provability in Heyting's arithmetic and extensions | Annals of Mathematical Logic | 22(3), 263--295 |
website zbMATH |
| 1982 | Smoryński, Craig | The finite inseparability of the first-order theory of diagonalisable algebras | Studia Logica | 41, 347--349 |
website zbMATH |
| 1982 | Smoryński, Craig | Fixed point algebras | Bulletin of the American Mathematical Society. New Series | 6(3), 317--356 |
website zbMATH |
| 1982 | Smoryński, Craig | Commutativity and self-reference | Notre Dame Journal of Formal Logic | 23(4), 443--452 |
website zbMATH |
| 1982 | Sambin, Giovanni; Valentini, Silvio | The modal logic of provability. The sequential approach | Journal of Philosophical Logic | 11, 311--342 |
website zbMATH |
| 1982 | Macchi, Piero | Truth functions for \(\mathbf{G}\) | Le Matematiche | 37, 149--155 |
zbMATH |
| 1982 | Gargov, Georgi; Kirov, Krasimir | The logic of ”strong box” in \(\mathbf{IGL}\) is \(\mathbf{IS4Grz}\) | Mathematics and education in mathematics | 154--160 |
zbMATH |
| 1982 | Boolos, George | On the nonexistence of certain normal forms in the logic of provability | The Journal of Symbolic Logic | 47(3), 638--640 |
website zbMATH |
| 1982 | Boolos, George | Extremely undecidable sentences | The Journal of Symbolic Logic | 47(1), 191--196 |
website zbMATH |
| 1981 | Mazzani, Giuliano; Mirolli, Missimo | Löb operators and interior operators | Rendiconti del Seminario Matematico della Università di Padova | 65, 77--84 |
website zbMATH |
| 1981 | Leivant, Daniel | On the proof theory of the modal logic for arithmetic provability | The Journal of Symbolic Logic | 46(3), 531--538 |
website zbMATH |
| 1981 | Esakia, Leo | Diagonal constructions, Löb formula and Cantor's scattered spaces | (), -- |
| |
| 1980 | Sambin, Giovanni; Valentini, Silvio | A modal sequent calculus for a fragment of arithmetic | Studia Logica | 39(2-3), 245--256 |
website zbMATH |
| 1980 | Montagna, Franco; Pasini, Leonardo | The equational class corresponding to the modal logic K43W | Bollettino della Unione Matemática Italiana. Supplemento | 2 373--385 |
zbMATH |
| 1980 | Montagna, Franco | The undecidability of the first-order theory of diagonalizable algebras | Studia Logica | 39(4), 355--359 |
website zbMATH |
| 1980 | Montagna, Franco | Interpretations of the first-order theory of diagonalizable algebras in Peano arithmetic | Studia Logica | 39(4), 347--354 |
website zbMATH |
| 1980 | Montagna, Franco | Some modal logics with quantifiers | Bolletino della Unione Matematica Italiana. Series 5 | 17(B), 1395--1410 |
zbMATH |
| 1980 | Mirolli, Massimo | On the axiomatization of finite frames of the modal system GL | Bolletino della Unione Matematica Italiana. Series 5 | 17(B), 1075--1085 |
zbMATH |
| 1980 | Kuznetsov, A. V.; Muravitsky, A. Yu. | Provability as modality (Russian) | Actual problems of logic and methodology of science | 193--230 |
zbMATH |
| 1980 | Boolos, George | On systems of modal logic with provability interpretations | Theoria | 46(1), 7--18 |
website zbMATH |
| 1980 | Boolos, George | Provability in arithmetic and a schema of Grzegorczyk | Fundamenta Mathematicae | 106(1), 41--45 |
website zbMATH |
| 1980 | Boolos, George | Provability, truth, and modal logic | Journal of Philosophical Logic | 9, 1--7 |
website zbMATH |
| 1980 | Boolos, George | Omega-consistency and the diamond | Studia Logica | 39(2-3), 237--243 |
website zbMATH |
| 1980 | Artemov, Sergei N. | Arithmetically complete modal theories | Semiotics and information science | 14, 115--133 |
zbMATH |
| 1979 | Ursini, Aldo | A modal calculus analogous to \(\mathbf{K4W}\), based on intuitionistic propositional logic, \(\mathbf{I}^\circ\) | Studia Logica | 38(3), 297--311 |
website zbMATH |
| 1979 | Ursini, Aldo | Intuitionistic diagonalizable algebras | Algebra Universalis | 9, 229--237 |
website zbMATH |
| 1979 | Smoryński, Craig | Calculating self-referential statements. I. Explicit calculations | Studia Logica | 38(1), 17--36 |
website zbMATH |
| 1979 | Montagna, Franco | On the diagonalizable algebra of Peano arithmetic | Bolletino della Unione Matematica Italiana. Series 5 | B(16), 795--812 |
zbMATH |
| 1979 | Guaspari, David; Solovay, R. M. | Rosser sentences | Annals of Mathematical Logic | 16, 81--99 |
website zbMATH |
| 1979 | Boolos, George | Reflection principles and iterated consistency assertions | The Journal of Symbolic Logic | 44(1), 33--35 |
website zbMATH |
| 1978 | Smoryńki, Craig | Beth's theorem and self-referential sentences | Logic Colloquium '77 (Studies in Logic and the Foundations of Mathematics 96) | pp.253--261 |
website zbMATH |
| 1978 | Sambin, Giovanni | Fixed points through the finite model property | Studia Logica | 37(3), 287--289 |
website zbMATH |
| 1978 | Montagna, Franco | On the algebraization of a Feferman's predicate | Studia Logica | 37(3), 221--236 |
website zbMATH |
| 1978 | Magari, Roberto | Modal diagonalizable algebras | Bolletino della Unione Matematica Italiana. Series 5 | 15(B), 303--320 |
zbMATH |
| 1978 | Goldblatt, Rob | Arithmetical necessity, provability and intuitionistic logic | Theoria | 44(1), 36--48 |
website zbMATH |
| 1978 | Bellissima, Fabio | On the modal logic corresponding to diagonalizable algebra theory | Bolletino della Unione Matematica Italiana. Series 5 | B(15), 915--930 |
zbMATH |
| 1977 | Boolos, George | On deciding the provability of certain fixed point statements | The Journal of Symbolic Logic | 42(2), 191--193 |
website zbMATH |
| 1976 | Solovay, Robert M. | Provability interpretations of modal logic | Israel Journal of Mathematics | 25(3), 287--304 |
website zbMATH |
| 1976 | Sambin, Giovanni | An effective fixed-point theorem in intuitionistic diagonalizable algebras | Studia Logica | 35(4), 345--361 |
website zbMATH |
| 1976 | Magari, Roberto | On the autological character of diagonalizable algebras | Studia Logica | 35(4), 327--333 |
website zbMATH |
| 1976 | Boolos, George | On deciding the truth of certain statements involving the notion of consistency | The Journal of Symbolic Logic | 41(4), 779--781 |
website zbMATH |
| 1976 | Bernardi, Claudio | The uniqueness of the fixed-point in every diagonalizable algebra | Studia Logica | 35(4), 335--343 |
website zbMATH |
| 1975 | Simmons, Harold | Topological aspects of suitable theories | Proceedings of the Edinburgh Mathematical Society (Series 2) | 19(4), 383--391 |
website zbMATH |
| 1975 | Montagna, Franco | For every \(n\), the \(n\)-freely generated algebra is not functionally free in the equational class of diagonalizable algebras | Studia Logica | 34(4), 315--319 |
website zbMATH |
| 1975 | Magari, Roberto | The diagonalizable algebras | Bollettino della Unione Matematica Italiana. Series 4 | 12(3), 117--125 |
zbMATH |
| 1975 | Magari, Roberto | Representation and duality theory for diagonalizable algebras | Studia Logica | 34(4), 305--313 |
website zbMATH |
| 1975 | Bernardi, Claudio | On the equational class of diagonalizable algebras | Studia Logica | 34(4), 321--331 |
website zbMATH |
| 1975 | Bernardi, Claudio | The fixed-point theorem for diagonalizable algebras | Studia Logica | 34(3), 239--251 |
website zbMATH |
| 1974 | Sambin, Giovanni | Un'estensione del teorema di Löb | Rendiconti del Seminario Matematico della Università di Padova | 52, 193--199 |
website zbMATH |
| 1973 | Macintyre, Angus; Simmons, Harold | Gödel's diagonalization technique and related properties of theories | Colloquium Mathematicum | 28(2), 165--180 |
website zbMATH |
| 1955 | Löb, Martin Hugo | Solution of a problem of Leon Henkin | The Journal of Symbolic Logic | 20(2), 115--118 |
website zbMATH |
| 1933 | Gödel, Kurt | Eine interpretation des intuitionistischen Aussagenkalküls (An interpretation of the intuitionistic propositional calculus) | Ergebnisse eines Mathematischen Kolloquiums | 4(6), 39--40 |
zbMATH |
最終更新：2025/06/18