Voor de beste ervaring schakelt u JavaScript in en gebruikt u een moderne browser!
EN

dhr. dr. N. (Nick) Bezhanishvili

Faculteit der Natuurwetenschappen, Wiskunde en Informatica
ILLC
Bezoekadres
  • Science Park 105
  • Kamernummer: F2.47
Postadres
  • Postbus 94242
    1090 GE Amsterdam
Contactgegevens
  • Publicaties

    2019

    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). Berlin: 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). Berlin: 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. [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). Berlin: Springer. https://doi.org/10.1007/978-3-662-52921-8_6 [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. (2016). An algebraic approach to filtrations for superintuitionistic logics. In R. Iemhoff, J. Joosten, & J. van Eijk (Eds.), Liber Amicorum Albert Visser: Tributes Series (Vol. 30, pp. 47-56). College Publications.
    • 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

    • 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). Cham: Birkhäuser. https://doi.org/10.1007/978-3-319-09719-0_20 [details]
    • Bezhanishvili, N., & Ghilardi, S. (2014). Multiple-conclusion rules, hypersequent syntax and step frames. Advances in Modal Logic, 10, 54-61.
    • 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). Cham: 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). Dordrecht: Springer. https://doi.org/10.1007/978-94-017-8860-1_3 [details]

    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). Heidelberg: Springer. https://doi.org/10.1007/978-3-642-40948-6_3 [details]

    2012

    2010

    2008

    • 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. [details]

    2015

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

    Spreker

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

    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.
  • Nevenwerkzaamheden
    • Geen nevenwerkzaamheden
contactgegevens bewerken   bewerk profielinformatie