MOHAMMAD GOLSHANI, REIHANE ZOGHIFARD, “COMPLETENESS OF THE GÖDEL–LÖB PROVABILITY LOGIC FOR THE FILTER SEQUENCE OF NORMAL MEASURES”, J. symb. log., 89, № 1, 2024, 163
Juan P. Aguilera, “A topological completeness theorem for transfinite provability logic”, Arch. Math. Logic, 62, № 5-6, 2023, 751
J. P. Aguilera, F. Pakhomov, A. Weiermann, “Modern perspectives in Proof Theory”, Phil. Trans. R. Soc. A., 381, № 2248, 2023, 20220020
Alexandru Baltag, Nick Bezhanishvili, David Fernández-Duque, “The Topological Mu-Calculus: Completeness and Decidability”, J. ACM, 70, № 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, № 3, 2019, 487
Samuel C. Fletcher, Nathan Lackey, “The introduction of topology into analytic philosophy: two movements and a coda”, Synthese, 200, № 3, 2022, 197
Sohei Iwata, Taishi Kurahashi, “Topological semantics of conservativity and interpretability logics”, Journal of Logic and Computation, 31, № 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, № 1, 2015, 1