de Almeida Borges, Ana; Joosten, Joost J. An escape from Vardanyan’s theorem. (English) Zbl 07781916 J. Symb. Log. 88, No. 4, 1613-1638 (2023). MSC: 03B45 03B60 03F03 03F30 03F45 03F55 PDFBibTeX XMLCite \textit{A. de Almeida Borges} and \textit{J. J. Joosten}, J. Symb. Log. 88, No. 4, 1613--1638 (2023; Zbl 07781916) Full Text: DOI arXiv OA License
Svyatlovskiy, Mikhail Modal companions of \(K4^+\). (English) Zbl 07595961 Stud. Log. 110, No. 5, 1327-1347 (2022). MSC: 03-XX PDFBibTeX XMLCite \textit{M. Svyatlovskiy}, Stud. Log. 110, No. 5, 1327--1347 (2022; Zbl 07595961) Full Text: DOI
Fernández-Duque, David; Hermo-Reyes, Eduardo Deducibility and independence in Beklemishev’s autonomous provability calculus. (English) Zbl 07540280 Inf. Comput. 287, Article ID 104758, 14 p. (2022). MSC: 03F45 PDFBibTeX XMLCite \textit{D. Fernández-Duque} and \textit{E. Hermo-Reyes}, Inf. Comput. 287, Article ID 104758, 14 p. (2022; Zbl 07540280) Full Text: DOI arXiv
Beklemishev, Lev D.; Pakhomov, Fedor N. Reflection algebras and conservation results for theories of iterated truth. (English) Zbl 07501986 Ann. Pure Appl. Logic 173, No. 5, Article ID 103093, 41 p. (2022). MSC: 03F15 03F30 03F35 03F45 PDFBibTeX XMLCite \textit{L. D. Beklemishev} and \textit{F. N. Pakhomov}, Ann. Pure Appl. Logic 173, No. 5, Article ID 103093, 41 p. (2022; Zbl 07501986) Full Text: DOI arXiv
Pakhomov, Fedor; Walsh, James Reflection ranks and ordinal analysis. (English) Zbl 1511.03018 J. Symb. Log. 86, No. 4, 1350-1384 (2021). Reviewer: Andrei Sipoş (Bucureşti) MSC: 03F15 03F35 PDFBibTeX XMLCite \textit{F. Pakhomov} and \textit{J. Walsh}, J. Symb. Log. 86, No. 4, 1350--1384 (2021; Zbl 1511.03018) Full Text: DOI arXiv
Hermo Reyes, Eduardo; Joosten, Joost J. The logic of Turing progressions. (English) Zbl 1452.03132 Notre Dame J. Formal Logic 61, No. 1, 155-180 (2020). Reviewer: Mladen Vuković (Zagreb) MSC: 03F45 03F30 03F03 03B45 PDFBibTeX XMLCite \textit{E. Hermo Reyes} and \textit{J. J. Joosten}, Notre Dame J. Formal Logic 61, No. 1, 155--180 (2020; Zbl 1452.03132) Full Text: DOI arXiv Euclid Link
Kikot, Stanislav; Kurucz, Agi; Tanaka, Yoshihito; Wolter, Frank; Zakharyaschev, Michael Kripke completeness of strictly positive modal logics over meet-semilattices with operators. (English) Zbl 1444.03063 J. Symb. Log. 84, No. 2, 533-588 (2019). Reviewer: Osamu Sonobe (Follonica) MSC: 03B45 03G25 PDFBibTeX XMLCite \textit{S. Kikot} et al., J. Symb. Log. 84, No. 2, 533--588 (2019; Zbl 1444.03063) Full Text: DOI arXiv Link
Moraschini, Tommaso Varieties of positive modal algebras and structural completeness. (English) Zbl 07124573 Rev. Symb. Log. 12, No. 3, 557-588 (2019). MSC: 03B45 03G27 08B15 54F05 PDFBibTeX XMLCite \textit{T. Moraschini}, Rev. Symb. Log. 12, No. 3, 557--588 (2019; Zbl 07124573) Full Text: DOI arXiv
Beklemishev, Lev A note on strictly positive logics and word rewriting systems. (English) Zbl 1429.03077 Odintsov, Sergei (ed.), Larisa Maksimova on implication, interpolation, and definability. Cham: Springer. Outst. Contrib. Log. 15, 61-70 (2018). MSC: 03B45 68Q42 PDFBibTeX XMLCite \textit{L. Beklemishev}, Outst. Contrib. Log. 15, 61--70 (2018; Zbl 1429.03077) Full Text: DOI arXiv
Beklemishev, L. D. Reflection calculus and conservativity spectra. (English. Russian original) Zbl 1522.03326 Russ. Math. Surv. 73, No. 4, 569-613 (2018); translation from Usp. Mat. Nauk 73, No. 4, 3-52 (2018). MSC: 03F45 03B45 03G25 03F30 PDFBibTeX XMLCite \textit{L. D. Beklemishev}, Russ. Math. Surv. 73, No. 4, 569--613 (2018; Zbl 1522.03326); translation from Usp. Mat. Nauk 73, No. 4, 3--52 (2018) Full Text: DOI arXiv
Svyatlovskii, Mikhail V. Axiomatization and polynomial solvability of strictly positive fragments of certain modal logics. (English. Russian original) Zbl 1491.03016 Math. Notes 103, No. 6, 952-967 (2018); translation from Mat. Zametki 103, No. 6, 884-901 (2018). MSC: 03B45 68Q25 PDFBibTeX XMLCite \textit{M. V. Svyatlovskii}, Math. Notes 103, No. 6, 952--967 (2018; Zbl 1491.03016); translation from Mat. Zametki 103, No. 6, 884--901 (2018) Full Text: DOI
Fernández-Duque, David The intuitionistic temporal logic of dynamical systems. (English) Zbl 1453.03014 Log. Methods Comput. Sci. 14, No. 3, Paper No. 3, 35 p. (2018). MSC: 03B44 03B20 37B20 PDFBibTeX XMLCite \textit{D. Fernández-Duque}, Log. Methods Comput. Sci. 14, No. 3, Paper No. 3, 35 p. (2018; Zbl 1453.03014) Full Text: DOI arXiv
Beklemishev, Lev D.; Fernández-Duque, David; Joosten, Joost J. On provability logics with linearly ordered modalities. (English) Zbl 1322.03042 Stud. Log. 102, No. 3, 541-566 (2014). Reviewer: Mladen Vuković (Zagreb) MSC: 03F45 03B45 PDFBibTeX XMLCite \textit{L. D. Beklemishev} et al., Stud. Log. 102, No. 3, 541--566 (2014; Zbl 1322.03042) Full Text: DOI arXiv