For best experience please turn on javascript and use a modern browser!
You are using a browser that is no longer supported by Microsoft. Please upgrade your browser. The site may not present itself correctly if you continue browsing.

Dr. N. (Nick) Bezhanishvili

Faculty of Science
ILLC
Visiting address
  • Science Park 105
  • Room number: F2.47
Postal address
  • Postbus 94242
    1090 GE Amsterdam
Contact details
  • Publications

    2024

    2023

    2022

    2021

    • 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, G., Bezhanishvili, N., Moraschini, T., & Stronkowski, M. (2021). Profiniteness and representability of spectra of Heyting algebras. Advances in Mathematics, 391, Article 107959. Advance online publication. https://doi.org/10.1016/j.aim.2021.107959 [details]

    2020

    2019

    • 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]

    2018

    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, G., & Bezhanishvili, N. (2017). Locally finite reducts of Heyting algebras and canonical formulas. Notre Dame Journal of Formal Logic, 58(1), 21-45. Advance online publication. https://staff.fnwi.uva.nl/n.bezhanishvili/Papers/new-canonical-final.pdf [details]
    • Bezhanishvili, G., Bezhanishvili, N., Lucero-Bryan, J., & van Mill, J. (2017). Krull dimension in modal logic. Journal of Symbolic Logic, 82(4), 1356-1786. https://doi.org/10.1017/jsl.2017.14 [details]
    • Bezhanishvili, G., Bezhanishvili, N., Sourabh, S., & Venema, Y. (2017). Irreducible equivalence relations, Gleason spaces, and de Vries duality. Applied Categorical Structures, 25(3), 381-401. Advance online publication. https://doi.org/10.1007/s10485-016-9434-2 [details]
    • Bezhanishvili, N., & Sourabh, S. (2017). Sahlqvist preservation for topological fixed-point logic. Journal of Logic and Computation, 27(3), 679-703. Advance online publication. https://doi.org/10.1093/logcom/exv010 [details]
    • Bezhanishvili, N., Galatos, N., & Spada, L. (2017). Canonical formulas for k-potent commutative, integral, residuated lattices. Algebra Universalis, 77(3), 321-343. Advance online publication. https://doi.org/10.1007/s00012-017-0430-7 [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]

    2016

    • 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, G., Bezhanishvili, N., & Iemhoff, R. (2016). Stable canonical rules. Journal of Symbolic Logic, 81(1), 284-315. https://doi.org/10.1017/jsl.2015.54 [details]
    • Bezhanishvili, G., Bezhanishvili, N., & Ilin, J. (2016). Cofinal stable logics. Studia Logica, 104(6), 1287–1317. Advance online publication. https://doi.org/10.1007/s11225-016-9677-9 [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, N., Gabelaia, D., Ghilardi, S., & Jibladze, M. (2016). Admissible bases via stable canonical rules. Studia Logica, 104(2), 317-341. https://doi.org/10.1007/s11225-015-9642-z [details]

    2015

    • Bezhanishvili, G., Bezhanishvili, N., & Harding, J. (2015). Modal compact Hausdorff spaces. Journal of Logic and Computation, 25(1), 1-35. https://doi.org/10.1093/logcom/exs030 [details]
    • Bezhanishvili, G., Bezhanishvili, N., & Harding, J. (2015). Modal operators on compact regular frames and de Vries algebras. Applied Categorical Structures, 23(3), 365-379. Advance online publication. https://doi.org/10.1007/s10485-013-9332-9 [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

    2013

    • 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]

    2012

    2010

    2008

    Talk / presentation

    • 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]

    2019

    • Lauridsen, F. M. (2019). Cuts and completions: Algebraic aspects of structural proof theory. [Thesis, fully internal, Universiteit van Amsterdam]. [details]

    2018

    • Ilin, J. (2018). Filtration revisited: Lattices of stable non-classical logics. [Thesis, fully internal, Universiteit van Amsterdam]. [details]

    2017

    • Özgün, A. (2017). Evidence in epistemic logic: A topological perspective. [Thesis, fully internal, Universiteit van Amsterdam, Université de Lorraine]. [details]

    2015

    This list of publications is extracted from the UvA-Current Research Information System. Questions? Ask the library or the Pure staff of your faculty / institute. Log in to Pure to edit your publications. Log in to Personal Page Publication Selection tool to manage the visibility of your publications on this list.
  • Ancillary activities
    • No ancillary activities
edit contact information   edit profile page