MOHAMMAD GOLSHANI, REIHANE ZOGHIFARD, “COMPLETENESS OF THE GÖDEL–LÖB PROVABILITY LOGIC FOR THE FILTER SEQUENCE OF NORMAL MEASURES”, J. symb. log., 89, no. 1, 2024, 163
Juan P. Aguilera, “A topological completeness theorem for transfinite provability logic”, Arch. Math. Logic, 62, no. 5-6, 2023, 751
J. P. Aguilera, F. Pakhomov, A. Weiermann, “Modern perspectives in Proof Theory”, Phil. Trans. R. Soc. A., 381, no. 2248, 2023, 20220020
Alexandru Baltag, Nick Bezhanishvili, David Fernández-Duque, “The Topological Mu-Calculus: Completeness and Decidability”, J. ACM, 70, no. 5, 2023, 1
Alexei Muravitsky, 4, Leo Esakia on Duality in Modal and Intuitionistic Logics, 2014, 155
WESLEY H. HOLLIDAY, TADEUSZ LITAK, “COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS”, The Review of Symbolic Logic, 12, no. 3, 2019, 487
Samuel C. Fletcher, Nathan Lackey, “The introduction of topology into analytic philosophy: two movements and a coda”, Synthese, 200, no. 3, 2022, 197
Sohei Iwata, Taishi Kurahashi, “Topological semantics of conservativity and interpretability logics”, Journal of Logic and Computation, 31, no. 7, 2021, 1716
Alexandru Baltag, Nick Bezhanishvili, David Fernandez-Duque, 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, 1
Joan Bagaria, Menachem Magidor, Hiroshi Sakai, “Reflection and indescribability in the constructible universe”, Isr. J. Math., 208, no. 1, 2015, 1