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
Goris, Evan; Bílková, Marta; Joosten, Joost J.; Mikec, Luka Theory and application of labelling techniques for interpretability logics. (English) Zbl 1521.03237 Math. Log. Q. 68, No. 3, 352-374 (2022). MSC: 03F45 03B45 PDFBibTeX XMLCite \textit{E. Goris} et al., Math. Log. Q. 68, No. 3, 352--374 (2022; Zbl 1521.03237) Full Text: DOI
Joosten, Joost J. Münchhausen provability. (English) Zbl 1509.03162 J. Symb. Log. 86, No. 3, 1006-1034 (2021). Reviewer: Osamu Sonobe (Follonica) MSC: 03F45 03B45 03F35 PDFBibTeX XMLCite \textit{J. J. Joosten}, J. Symb. Log. 86, No. 3, 1006--1034 (2021; Zbl 1509.03162) Full Text: DOI arXiv
de Almeida Borges, Ana; Joosten, Joost J. Quantified reflection calculus with one modality. (English) Zbl 07585705 Olivetti, Nicola (ed.) et al., Advances in modal logic. Vol. 13. Proceedings of the 13th conference (AiML 2020), Helsinki, Finland, virtual conference, August 24–28, 2020. London: College Publications. 13-32 (2020). MSC: 03B45 PDFBibTeX XMLCite \textit{A. de Almeida Borges} and \textit{J. J. Joosten}, in: Advances in modal logic. Vol. 13. Proceedings of the 13th conference (AiML 2020), Helsinki, Finland, virtual conference, August 24--28, 2020. London: College Publications. 13--32 (2020; Zbl 07585705) Full Text: 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
Goris, Evan; Joosten, Joost J. Two new series of principles in the interpretability logic of all reasonable arithmetical theories. (English) Zbl 1471.03085 J. Symb. Log. 85, No. 1, 1-25 (2020). Reviewer: Osamu Sonobe (Follonica) MSC: 03F45 03F25 03B45 03B60 03F30 03F40 PDFBibTeX XMLCite \textit{E. Goris} and \textit{J. J. Joosten}, J. Symb. Log. 85, No. 1, 1--25 (2020; Zbl 1471.03085) Full Text: DOI Link
Goris, Evan; Bílková, Marta; Joosten, Joost J.; Mikec, Luka Assuring and critical labels for relations between maximal consistent sets for interpretability logics. arXiv:2003.04623 Preprint, arXiv:2003.04623 [math.LO] (2020). MSC: 03F45 03B45 BibTeX Cite \textit{E. Goris} et al., ``Assuring and critical labels for relations between maximal consistent sets for interpretability logics'', Preprint, arXiv:2003.04623 [math.LO] (2020) Full Text: arXiv OA License
Joosten, Joost J.; Rovira, Jan Mas; Mikec, Luka; Vuković, Mladen An overview of Generalised Veltman Semantics. arXiv:2007.04722 Preprint, arXiv:2007.04722 [math.LO] (2020). MSC: 03F45 03B45 BibTeX Cite \textit{J. J. Joosten} et al., ``An overview of Generalised Veltman Semantics'', Preprint, arXiv:2007.04722 [math.LO] (2020) Full Text: arXiv OA License
Hermo Reyes, Eduardo; Joosten, Joost J. Relational semantics for the Turing Schmerl calculus. (English) Zbl 1418.03086 Bezhanishvili, Guram (ed.) et al., Advances in modal logic. Vol. 12. Proceedings of the 12th conference (AiML 2018), Bern, Switzerland, August 27–31, 2018. London: College Publications. 237-346 (2018). MSC: 03B45 03F45 PDFBibTeX XMLCite \textit{E. Hermo Reyes} and \textit{J. J. Joosten}, in: Advances in modal logic. Vol. 12. Proceedings of the 12th conference (AiML 2018), Bern, Switzerland, August 27--31, 2018. London: College Publications. 237--346 (2018; Zbl 1418.03086) Full Text: arXiv
de Almeida Borges, Ana; Joosten, Joost J. The worm calculus. (English) Zbl 1418.03076 Bezhanishvili, Guram (ed.) et al., Advances in modal logic. Vol. 12. Proceedings of the 12th conference (AiML 2018), Bern, Switzerland, August 27–31, 2018. London: College Publications. 13-27 (2018). MSC: 03B45 03F45 PDFBibTeX XMLCite \textit{A. de Almeida Borges} and \textit{J. J. Joosten}, in: Advances in modal logic. Vol. 12. Proceedings of the 12th conference (AiML 2018), Bern, Switzerland, August 27--31, 2018. London: College Publications. 13--27 (2018; Zbl 1418.03076) Full Text: arXiv
Fernández-Duque, David; Joosten, Joost J. The omega-rule interpretation of transfinite provability logic. (English) Zbl 1429.03211 Ann. Pure Appl. Logic 169, No. 4, 333-371 (2018). Reviewer: Emil Jeřábek (Praha) MSC: 03F45 03F35 03B45 PDFBibTeX XMLCite \textit{D. Fernández-Duque} and \textit{J. J. Joosten}, Ann. Pure Appl. Logic 169, No. 4, 333--371 (2018; Zbl 1429.03211) Full Text: DOI arXiv Link
Hakoniemi, Tuomas; Joosten, Joost J. Labelled tableaux for interpretability logics. (English) Zbl 1418.03177 van Eijck, Jan (ed.) et al., Liber amicorum Alberti. A tribute to Albert Visser. London: College Publications. Tributes 30, 141-154 (2016). MSC: 03F45 03B45 PDFBibTeX XMLCite \textit{T. Hakoniemi} and \textit{J. J. Joosten}, Tributes 30, 141--154 (2016; Zbl 1418.03177) Full Text: arXiv
Joosten, Joost J. Turing-Taylor expansions for arithmetic theories. (English) Zbl 1417.03297 Stud. Log. 104, No. 6, 1225-1243 (2016). MSC: 03F45 03F30 PDFBibTeX XMLCite \textit{J. J. Joosten}, Stud. Log. 104, No. 6, 1225--1243 (2016; Zbl 1417.03297) Full Text: DOI arXiv
Joosten, Joost J. Turing jumps through provability. (English) Zbl 1461.03056 Beckmann, Arnold (ed.) et al., Evolving computability. 11th conference on computability in Europe, CiE 2015, Bucharest, Romania, June 29 – July 3, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9136, 216-225 (2015). MSC: 03F45 03F30 03B45 PDFBibTeX XMLCite \textit{J. J. Joosten}, Lect. Notes Comput. Sci. 9136, 216--225 (2015; Zbl 1461.03056) Full Text: DOI arXiv
Fernández-Duque, David; Joosten, Joost J. Well-orders in the transfinite Japaridze algebra. (English) Zbl 1405.03095 Log. J. IGPL 22, No. 6, 933-963 (2014). MSC: 03F45 03G25 03B45 PDFBibTeX XMLCite \textit{D. Fernández-Duque} and \textit{J. J. Joosten}, Log. J. IGPL 22, No. 6, 933--963 (2014; Zbl 1405.03095) 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
Joosten, Joost J. \(\Pi_1^0\)-ordinal analysis beyond first-order arithmetic. (English) Zbl 1298.03111 Math. Commun. 18, No. 1, 109-121 (2013). Reviewer: Mladen Vuković (Zagreb) MSC: 03F03 03B45 03F15 03F40 03F45 PDFBibTeX XMLCite \textit{J. J. Joosten}, Math. Commun. 18, No. 1, 109--121 (2013; Zbl 1298.03111) Full Text: arXiv Link
Fernández-Duque, David; Joosten, Joost J. Models of transfinite provability logic. (English) Zbl 1275.03158 J. Symb. Log. 78, No. 2, 543-561 (2013). Reviewer: Osamu Sonobe (Follonica) MSC: 03F45 03B45 PDFBibTeX XMLCite \textit{D. Fernández-Duque} and \textit{J. J. Joosten}, J. Symb. Log. 78, No. 2, 543--561 (2013; Zbl 1275.03158) Full Text: DOI arXiv Euclid
Fernández Duque, David; Joosten, Joost J. Turing progressions and their well-orders. (English) Zbl 1358.03093 Cooper, S. Barry (ed.) et al., How the world computes. Turing centenary conference and 8th conference on computability in Europe, CiE 2012, Cambridge, UK, June 18–23, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-30869-7/pbk). Lecture Notes in Computer Science 7318, 212-221 (2012). MSC: 03F45 03D80 PDFBibTeX XMLCite \textit{D. Fernández Duque} and \textit{J. J. Joosten}, Lect. Notes Comput. Sci. 7318, 212--221 (2012; Zbl 1358.03093) Full Text: DOI
Bou, Félix; Joosten, Joost J. The closed fragment of IL is PSPACE hard. (English) Zbl 1347.03040 van Ditmarsch, Hans (ed.) et al., Proceedings of the 7th workshop on methods for modalities (M4M’2011), and the 4th workshop on logical aspects of multi-agent systems (LAMAS’2011), Osuna, Spain, November 10–12, 2011. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 278, 47-54 (2011). MSC: 03B45 03F05 03F45 68Q17 PDFBibTeX XMLCite \textit{F. Bou} and \textit{J. J. Joosten}, Electron. Notes Theor. Comput. Sci. 278, 47--54 (2011; Zbl 1347.03040) Full Text: DOI arXiv
Goris, Evan; Joosten, Joost J. A new principle in the interpretability logic of all reasonable arithmetical theories. (English) Zbl 1228.03040 Log. J. IGPL 19, No. 1, 1-17 (2011). Reviewer: Mladen Vuković (Zagreb) MSC: 03F45 03B45 03F30 PDFBibTeX XMLCite \textit{E. Goris} and \textit{J. J. Joosten}, Log. J. IGPL 19, No. 1, 1--17 (2011; Zbl 1228.03040) Full Text: DOI arXiv
Bílková, Marta; de Jongh, Dick; Joosten, Joost J. Interpretability in PRA. (English) Zbl 1184.03011 Ann. Pure Appl. Logic 161, No. 2, 128-138 (2009). Reviewer: Mladen Vuković (Zagreb) MSC: 03B45 03F30 03F45 PDFBibTeX XMLCite \textit{M. Bílková} et al., Ann. Pure Appl. Logic 161, No. 2, 128--138 (2009; Zbl 1184.03011) Full Text: DOI arXiv
Goris, Evan; Joosten, Joost J. Modal matters for interpretability logics. (English) Zbl 1162.03033 Log. J. IGPL 16, No. 4, 371-412 (2008). Reviewer: Mladen Vuković (Zagreb) MSC: 03F45 03B45 03F30 PDFBibTeX XMLCite \textit{E. Goris} and \textit{J. J. Joosten}, Log. J. IGPL 16, No. 4, 371--412 (2008; Zbl 1162.03033) Full Text: DOI arXiv
Beklemishev, Lev D.; Joosten, Joost J.; Vervoort, Marco A finitary treatment of the closed fragment of Japaridze’s provability logic. (English) Zbl 1080.03038 J. Log. Comput. 15, No. 4, 447-463 (2005). Reviewer: Osamu Sonobe (Follonica) MSC: 03F45 03B45 03F30 03F15 PDFBibTeX XMLCite \textit{L. D. Beklemishev} et al., J. Log. Comput. 15, No. 4, 447--463 (2005; Zbl 1080.03038) Full Text: DOI Link
Joosten, Joost J.; Visser, Albert The interpretability logic of all reasonable arithmetical theories. The new conjecture. (English) Zbl 0974.03049 Erkenntnis 53, No. 1-2, 3-26 (2000). Reviewer: Mladen Vuković (Zagreb) MSC: 03F45 03F30 03B45 PDFBibTeX XMLCite \textit{J. J. Joosten} and \textit{A. Visser}, Erkenntnis 53, No. 1--2, 3--26 (2000; Zbl 0974.03049) Full Text: DOI