- 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