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

    2021

    2020

    • 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. 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. 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 Proceedings of AiML 2020 (pp. 1-18)

    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). Berlin: 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. 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. 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), [102714]. 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). Berlin: 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). Berlin: 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 [7] (Leibniz International Proceedings in Informatics; Vol. 139). Saarbrücken/Wadern: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. 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. 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. 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. 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. 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. 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. 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. 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). Berlin: 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). Berlin: 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. 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. 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. 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. 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). Berlin: 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

    2015

    • Baltag, A., Bezhanishvili, N., Ozgun, A., & Smets, S. J. L. (2015). The Topological Theory of Belief. ILLC Pre-publication PP-2015-18.

    Talk / presentation

    • Bezhanishvili, N. (invited speaker) (7-3-2021). Polyhedral modal logic, ICLA 2021.
    • Bezhanishvili, N. (speaker) (24-8-2020). Filtrations, Canonical Formulas, and Axiomatizations of Superintuitionistic and Modal Logics, Advances in Modal Logic .
    • 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. Institute for Logic, Language and Computation. [details]

    2019

    • Lauridsen, F. M. (2019). Cuts and completions: Algebraic aspects of structural proof theory. [details]

    2018

    • Ilin, J. (2018). Filtration revisited: Lattices of stable non-classical logics. [details]

    2017

    • Özgün, A. (2017). Evidence in epistemic logic: A topological perspective. [details]
    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