Adam-Day, S., Bezhanishvili, N., Gabelaia, D., & Marra, V. (2024). Polyhedral completeness of intermediate logics: The Nerve Criterion. Journal of Symbolic Logic, 89(1), 342-382. https://doi.org/10.1017/jsl.2022.76[details]
Bezhanishvili, N., Baltag, A., & Fernández-Duque, D. (2023). The topological mu-calculus: completeness and decidability. Journal of the Association for Computing Machinery, 70(5). https://doi.org/10.48550/arXiv.2105.08231
van Benthem, J., & Bezhanishvili, N. (2023). Modern Faces of Filtration. In F. L. G. Faroldi, & F. Van De Putte (Eds.), Kit Fine on Truthmakers, Relevance, and Non-classical Logic (pp. 23-61). (Outstanding Contributions to Logic; Vol. 26). Springer. https://doi.org/10.1007/978-3-031-29415-0_3[details]
2022
Baltag, A., Bezhanishvili, N., & Fernández González, S. (2022). Topological Evidence Logics: Multi-agent Setting. In A. Özgün, & Y. Zinova (Eds.), Language, Logic, and Computation: 13th International Tbilisi Symposium, TbiLLC 2019, Batumi, Georgia, September 16-20, 2019 : revised selected papers (pp. 237-257). (Lecture Notes in Computer Science; Vol. 13206), (FoLLI Publications on Logic, Language and Information). Springer. https://doi.org/10.1007/978-3-030-98479-3_12[details]
Baltag, A., Bezhanishvili, N., & Fernández-Duque, D. (2022). The topology of surprise. In G. Kern-Isberner, G. Lakemeyer, & T. Meyer (Eds.), Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning: Haifa, Israel. July 31–August 5, 2022 (pp. 33-42). (KR; Vol. 2022). International Joint Conferences on Artificial Intelligence. https://doi.org/10.24963/kr.2022/4[details]
Bezhanishvili, N., Grilletti, G., & Quadrellaro, D. E. (2022). An algebraic approach to inquisitive and DNA-logics. Review of Symbolic Logic, 15(4), 950-990. Advance online publication. https://doi.org/10.1017/S175502032100054X[details]
Baltag, A., Bezhanishvili, N., & Fernández-Duque, D. (2021). The topological mu-calculus: completeness and decidability. In 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS): 29 June 2021-2 July 2021, Rome, Italy,virtual (pp. 1126-1138). IEEE. https://doi.org/10.1109/LICS52264.2021.9470560[details]
Bezhanishvili, G., Bezhanishvili, N., Carai, L., Gabelaia, D., Ghilardi, S., & Jibladze, M. (2021). Diego's Theorem for nuclear implicative semilattices. Indagationes Mathematicae, 32(2), 498-535. Advance online publication. https://doi.org/10.1016/j.indag.2020.12.005[details]
Bezhanishvili, G., Bezhanishvili, N., Lucero-Bryan, J., & van Mill, J. (2021). Characterizing existence of a measurable cardinal via modal logic. Journal of Symbolic Logic, 86(1), 162-177. Advance online publication. https://doi.org/10.1017/jsl.2021.5[details]
Bezhanishvili, G., Bezhanishvili, N., Lucero-Bryan, J., & van Mill, J. (2021). The McKinsey-Tarski theorem for locally compact ordered spaces. The Bulletin of Symbolic Logic, 27(2), 187-211. Advance online publication. https://doi.org/10.1017/bsl.2021.16[details]
Bezhanishvili, G., Bezhanishvili, N., Lucero-Bryan, J., & van Mill, J. (2021). Tree-like constructions in topology and modal logic. Archive for Mathematical Logic, 60(3-4), 265–299. https://doi.org/10.1007/s00153-020-00743-6[details]
Bezhanishvili, N., & Henke, T. (2020). A model-theoretic approach to descriptive general frames: the van Benthem characterization theorem. Journal of Logic and Computation, 30(7), 1331-1355. Advance online publication. https://doi.org/10.1093/logcom/exaa040[details]
Bezhanishvili, N., & Holliday, W. H. (2020). Choice-free Stone duality. Journal of Symbolic Logic, 85(1), 109-148. Advance online publication. https://doi.org/10.1017/jsl.2019.11[details]
Bezhanishvili, N., Enqvist, S., & de Groot, J. (2020). Duality for instantial neighbourhood logic via coalgebra. In D. Petrişan, & J. Rot (Eds.), Coalgebraic Methods in Computer Science: 15th IFIP WG 1.3 International Workshop, CMCS 2020, colocated with ETAPS 2020, Dublin, Ireland, April 25–26, 2020 : proceedings (pp. 32-54). ( Lecture Notes in Computer Science; Vol. 12094). Springer. https://doi.org/10.1007/978-3-030-57201-3_3[details]
Bezhanishvili, N., Ghilardi, S., & Landi, L. (2020). Model completeness and Π2-rules: the case of contact algebras. In N. Olivetti, R. Verbrugge, S. Negri, & G. Sandu (Eds.), Advances in Modal Logic: AiML 13 (pp. 115-132). College Publications. https://staff.fnwi.uva.nl/n.bezhanishvili/Papers/AiML2020.pdf[details]
Baltag, A., Bezhanishvili, N., & Fernández González, S. (2019). The McKinsey-Tarski theorem for topological evidence logics. In R. Iemhoff, M. Moortgat, & R. de Queiroz (Eds.), Logic, Language, Information, and Computation: 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019 : proceedings (pp. 177-194). (Lecture Notes on Computer Science; Vol. 11541), (FoLLI Publications on Logic, Language and Information). Springer. https://doi.org/10.1007/978-3-662-59533-6_11[details]
Baltag, A., Bezhanishvili, N., Özgün, A., & Smets, S. (2019). A Topological Approach to Full Belief. Journal of Philosophical Logic, 48(2), 205-244. Advance online publication. https://doi.org/10.1007/s10992-018-9463-4[details]
Bezhanishvili, G., Bezhanishvili, N., & Ilin, J. (2019). Subframization and stabilization for superintuitionistic logics. Journal of Logic and Computation, 29(1), 1-35. https://doi.org/10.1093/logcom/exy035[details]
Bezhanishvili, G., Bezhanishvili, N., Lucero-Bryan, J., & van Mill, J. (2019). On modal logics arising from scattered locally compact Hausdorff spaces. Annals of Pure and Applied Logic, 170(5), 558-577. Advance online publication. https://doi.org/10.1016/j.apal.2018.12.005[details]
Bezhanishvili, G., Bezhanishvili, N., Santoli, T., & Venema, Y. (2019). A strict implication calculus for compact Hausdorff spaces. Annals of Pure and Applied Logic, 170(11), Article 102714. Advance online publication. https://doi.org/10.1016/j.apal.2019.06.003[details]
Bezhanishvili, N., Colacito, A., & de Jongh, D. (2019). A study of subminimal logics of negation and their modal companions. In A. Silva, S. Staton, P. Sutton, & C. Umbach (Eds.), Language, Logic, and Computation: 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017 : revised selected papers (pp. 21-41). (Lecture Notes in Computer Science; Vol. 11456), (FoLLI Publications on Logic, Language and Information). Springer. https://doi.org/10.1007/978-3-662-59565-7_2[details]
Bezhanishvili, N., Grilletti, G., & Holliday, W. H. (2019). Algebraic and Topological Semantics for Inquisitive Logic via Choice-Free Duality. In R. Iemhoff, M. Moortgat, & R. de Queiroz (Eds.), Logic, Language, Information, and Computation: 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019 : proceedings (pp. 35-52). (Lecture Notes in Computer Science; Vol. 11541), (FoLLI Publications on Logic, Language and Information). Springer. https://doi.org/10.1007/978-3-662-59533-6_3[details]
Bezhanishvili, N., de Groot, J., & Venema, Y. (2019). Coalgebraic Geometric Logic. In M. Roggenbach, & A. Sokolova (Eds.), 8th Conference on Algebra and Coalgebra in Computer Science: CALCO 2019, June 3-6, 2019, London, United Kingdom Article 7 (Leibniz International Proceedings in Informatics; Vol. 139). Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CALCO.2019.7[details]
van Benthem, J., Bezhanishvili, N., & Enqvist, S. (2019). A new game equivalence, its logic and algebra. Journal of Philosophical Logic, 48(4), 649-684. Advance online publication. https://doi.org/10.1007/s10992-018-9489-7[details]
van Benthem, J., Bezhanishvili, N., & Enqvist, S. (2019). A propositional dynamic logic for instantial neighbourhood semantics. Studia Logica, 107(4), 719-751. Advance online publication. https://doi.org/10.1007/s11225-018-9825-5[details]
Bezhanishvili, G., Bezhanishvili, N., Lucero-Bryan, J., & van Mill, J. (2018). A new proof of the McKinsey-Tarski Theorem. Studia Logica, 106(6), 1291-1311. Advance online publication. https://doi.org/10.1007/s11225-018-9789-5[details]
Bezhanishvili, G., Bezhanishvili, N., Lucero-Bryan, J., & van Mill, J. (2018). Tychonoff HED-spaces and Zemanian extensions of S4.3. Review of Symbolic Logic, 11(1), 115-132. Advance online publication. https://doi.org/10.1017/S1755020317000314[details]
Bezhanishvili, N., Marra, V., McNeill, D., & Pedrini, A. (2018). Tarski's theorem on intuitionistic logic, for polyhedra. Annals of Pure and Applied Logic, 169(5), 373-391. Advance online publication. https://doi.org/10.1016/j.apal.2017.12.005[details]
2017
Baltag, A., Bezhanishvili, N., Ilin, J., & Özgün, A. (2017). Quotient dynamics: the logic of abstraction. In A. Baltag, J. Seligman, & T. Yamada (Eds.), Logic, Rationality, and Interaction: 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017 : proceedings (pp. 181-194). (Lecture Notes in Computer Science; Vol. 10455), (FoLLI Publications on Logic, Language and Information). Springer. https://doi.org/10.1007/978-3-662-55665-8_13[details]
Baltag, A., Bezhanishvili, N., Özgün, A., & Smets, S. (2017). The Topology of Full and Weak Belief. In H. H. Hansen, S. E. Murray, M. Sadrzadeh, & H. Zeevat (Eds.), Logic, Language, and Computation: 11th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2015, Tbilisi, Georgia, September 21-26, 2015 : revised selected papers (pp. 205-228). (Lecture Notes in Computer Science; Vol. 10148), (FoLLI Publications on Logic, Language and Information). Springer. https://doi.org/10.1007/978-3-662-54332-0_12[details]
Bezhanishvili, N., Ghilardi, S., & Lauridsen, F. M. (2017). One-step Heyting algebras and hypersequent calculi with the bounded proof property. Journal of Logic and Computation, 27(7), 2135–2169. Advance online publication. https://doi.org/10.1093/logcom/exw029[details]
Bezhanishvili, N., de Jongh, D., Tzimoulis, A., & Zhao, Z. (2017). Universal models for the positive fragment of intuitionistic logic. In H. H. Hansen, S. E. Murray, M. Sadrzadeh, & H. Zeevat (Eds.), Logic, Language, and Computation: 11th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2015, Tbilisi, Georgia, September 21-26, 2015 : revised selected papers (pp. 229-250). (Lecture Notes in Computer Science; Vol. 10148), (FoLLI Publications on Logic, Language and Information). Springer. https://doi.org/10.1007/978-3-662-54332-0_13[details]
van Benthem, J., Bezhanishvili, N., & Enqvist, S. (2017). A new game equivalence and its modal logic. Electronic Proceedings in Theoretical Computer Science, 251, 57-74. https://doi.org/10.4204/EPTCS.251.5[details]
van Benthem, J., Bezhanishvili, N., & Enqvist, S. (2017). A propositional dynamic logic for instantial neighborhood models. In A. Baltag, J. Seligman, & T. Yamada (Eds.), Logic, Rationality, and Interaction: 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017 : proceedings (pp. 137-150). (Lecture Notes in Computer Science; Vol. 10455), (FoLLI Publications on Logic, Language and Information). Springer. https://doi.org/10.1007/978-3-662-55665-8_10[details]
van Benthem, J., Bezhanishvili, N., & Holliday, W. H. (2017). A bimodal perspective on possibility semantics. Journal of Logic and Computation, 27(5), 1353-1389. Advance online publication. https://doi.org/10.1093/logcom/exw024[details]
van Benthem, J., Bezhanishvili, N., Enqvist, S., & Yu, J. (2017). Instantial neighbourhood logic. Review of Symbolic Logic, 10(1), 116-144. Advance online publication. https://doi.org/10.1017/S1755020316000447[details]
Baltag, A., Bezhanishvili, N., Özgün, A., & Smets, S. J. L. (2016). Justified Belief and the Topology of Evidence. In J. Väänänen, Å. Hirvonen, & R. de Queiroz (Eds.), Logic, Language, Information, and Computation: 23rd International Workshop, WoLLIC 2016: Puebla, Mexico, August 16–19th, 2016: proceedings (pp. 83-103). (Lecture Notes in Computer Science; Vol. 9803). Springer. https://doi.org/10.1007/978-3-662-52921-8_6[details]
Bezhanishvili, G., & Bezhanishvili, N. (2016). An algebraic approach to filtrations for superintuitionistic logics. In J. van Eijk, R. Iemhoff, & J. J. Joosten (Eds.), Liber Amicorum Alberti: a tribute to Albert Visser (pp. 47-56). (Tributes; Vol. 30). College Publications. [details]
Bezhanishvili, N., & Kupke, C. (2016). Games for topological fixpoint logic. Electronic Proceedings in Theoretical Computer Science, 226, 46-60. https://doi.org/10.4204/EPTCS.226.4[details]
Bezhanishvili, G., Bezhanishvili, N., Lucero-Bryan, J., & van Mill, J. (2015). S4.3 and hereditarily extremally disconnected spaces. Georgian Mathematical Journal, 22(4), 441-4759. https://doi.org/10.1515/gmj-2015-0041[details]
Bezhanishvili, N., Coumans, D., van Gool, S. J., & de Jongh, D. (2015). Duality and universal models for the meet-implication fragment of IPC. In M. Aher, D. Hole, E. Jeřábek, & C. Kupke (Eds.), Logic, Language, and Computation: 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013: revised selected papers (pp. 97-116). (Lecture Notes in Computer Science; Vol. 8984). Springer. https://doi.org/10.1007/978-3-662-46906-4_7[details]
2014
Andréka, H., van Benthem, J., Bezhanishvili, N., & Németi, I. (2014). Changing a semantics: opportunism or courage? In M. Manzano, I. Sain, & E. Alonso (Eds.), The life and work of Leon Henkin: essays on his contributions (pp. 307-337). (Studies in Universal Logic). Birkhäuser. https://doi.org/10.1007/978-3-319-09719-0_20[details]
Bezhanishvili, N., & Ghilardi, S. (2014). The bounded model property via step algebras and step frames. Annals of Pure and Applied Logic, 165(12), 1832-1863. https://doi.org/10.1016/j.apal.2014.07.005[details]
Bezhanishvili, N., & van der Hoek, W. (2014). Structures for epistemic logic. In A. Baltag, & S. Smets (Eds.), Johan van Benthem on Logic and Information Dynamics (pp. 339-380). (Outstanding contributions to logic; Vol. 5). Springer. https://doi.org/10.1007/978-3-319-06025-5_12[details]
Bezhanishvili, N., Ghilardi, S., & Jibladze, M. (2014). Free modal algebras revisited: the step-by-step method. In G. Bezhanishvili (Ed.), Leo Esakia on Duality in Modal and Intuitionistic Logics (pp. 43-62). (Outstanding contributions to logic; Vol. 4). Springer. https://doi.org/10.1007/978-94-017-8860-1_3[details]
Baltag, A., Bezhanishvili, N., Özgun, A., & Smets, S. (2013). The Topology of Belief, Belief Revision and Defeasible Knowledge. In D. Grossi, O. Roy, & H. Huang (Eds.), Logic, Rationality, and Interaction: 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013 : proceedings (pp. 27-40). (Lecture Notes in Computer Science; Vol. 8196), (FoLLI Publications on Logic, Language and Information). Springer. https://doi.org/10.1007/978-3-642-40948-6_3[details]
Bezhanishvili, G., Bezhanishvili, N., & de Jongh, D. (2008). The Kuznetsov-Gerčiu and Rieger-Nishimura logics: The boundaries of the finite model property. Logic and Logical Philosophy, 17(1-2), 73-110. https://doi.org/10.12775/LLP.2008.006[details]
Bezhanishvili, N. (speaker) (31-5-2021). Topological Semantics of Modal Logic, Tsinghua Summer School in Logic.
Bezhanishvili, N. (speaker) (17-5-2021). Duality Theory, First Iranian Spring School in Logic.
Bezhanishvili, N. (invited speaker) (7-3-2021). Polyhedral modal logic, ICLA 2021.
Bezhanishvili, N. (speaker) (4-3-2021). Polyhedral modal logic, 9th Indian Conference on Logic and its Applications .
Bezhanishvili, N. (speaker) (24-8-2020). Filtrations, Canonical Formulas, and Axiomatizations of Superintuitionistic and Modal Logics, AiML2020 (Advances in Modal Logic 2020). http://www.aiml.net/volumes/volume13/Bezhanishvili.pdf
Bezhanishvili, N. (speaker) (9-2-2018). Logical calculus for Compact Hausdorff spaces via Boolean algebras with binary relations, Faculty of Mathematics, Physics and Informatics, Comenius University, Bratislava.
Bezhanishvili, N. (speaker) (7-4-2016). Compingent algebras, de Vries duality and non-standard rules, TU Wien.
2020
Grilletti, G. (2020). Questions & quantification: A study of first order inquisitive logic. [Thesis, fully internal, Universiteit van Amsterdam]. Institute for Logic, Language and Computation. [details]
Lauridsen, F. M. (2019). Cuts and completions: Algebraic aspects of structural proof theory. [Thesis, fully internal, Universiteit van Amsterdam]. [details]
Özgün, A. (2017). Evidence in epistemic logic: A topological perspective. [Thesis, fully internal, Universiteit van Amsterdam, Université de Lorraine]. [details]
Baltag, A., Bezhanishvili, N., Özgün, A., & Smets, S. (2015). The Topological Theory of Belief. (ILLC Pre-publication; No. PP-2015-18). ILLC, University of Amsterdam. https://eprints.illc.uva.nl/id/eprint/529/[details]
De UvA gebruikt cookies voor het meten, optimaliseren en goed laten functioneren van de website. Ook worden er cookies geplaatst om inhoud van derden te kunnen tonen en voor marketingdoeleinden. Klik op ‘Accepteren’ om akkoord te gaan met het plaatsen van alle cookies. Of kies voor ‘Weigeren’ om alleen functionele en analytische cookies te accepteren. Je kunt je voorkeur op ieder moment wijzigen door op de link ‘Cookie instellingen’ te klikken die je onderaan iedere pagina vindt. Lees ook het UvA Privacy statement.