Dr. N. (Nick) Bezhanishvili
Faculteit der Natuurwetenschappen, Wiskunde en Informatica
ILLC
Bezoekadres
- Science Park 900
- Kamernummer: F2.47
Postadres
-
Postbus 94242
1090 GE Amsterdam
Contactgegevens
-
Publicaties
2024
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., & Yang, F. (2024). Intermediate Logics in the Setting of Team Semantics. In N. Bezhanishvili, R. Iemhoff, & F. Yang (Eds.), Dick de Jongh on Intuitionistic and Provability Logics (Vol. 28, pp. 231-271). Springer International Publishing. https://doi.org/10.1007/978-3-031-47921-2_9
- Bezhanishvili, N., Ciancia, V., Gabelaia, D., Jibladze, M., Latella, D., Massink, M., & De Vink, E. P. (2024). Weak Simplicial Bisimilarity for Polyhedral Models and SLCS $$_\eta $$. In V. Castiglioni, & A. Francalanza (Eds.), Formal Techniques for Distributed Objects, Components, and Systems (Vol. 14678, pp. 20-38). Springer Nature Switzerland AG. https://doi.org/10.1007/978-3-031-62645-6_2
- Bezhanishvili, N., Dmitrieva, A., De Groot, J., & Moraschini, T. (2024). Positive modal logic beyond distributivity. Annals of Pure and Applied Logic, 175(2). https://doi.org/10.1016/j.apal.2023.103374
- Bezhanishvili, N., Martins, M., & Moraschini, T. (2024). Bi-intermediate logics of trees and co-trees. Annals of Pure and Applied Logic, 175(10), 103490. https://doi.org/10.1016/j.apal.2024.103490
- van Benthem, J., & Bezhanishvili, N. (2024). Modal structures in groups and vector spaces. Journal of Logic and Computation, 34(1), 75-124. https://doi.org/10.1093/logcom/exac105 [details]
2023
- 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
- Bezhanishvili, N., Carai, L., Ghilardi, S., & Landi, L. (2023). Admissibility of Π2-inference rules: Interpolation, model completion, and contact algebras. Annals of Pure and Applied Logic, 174(1), Article 103169. https://doi.org/10.48550/arXiv.2201.06076, https://doi.org/10.1016/j.apal.2022.103169 [details]
- 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]
- Baltag, A., Bezhanishvili, N., Özgün, A., & Smets, S. (2022). Justified belief, knowledge, and the topology of evidence. Synthese, 200(6), Article 512. https://doi.org/10.1007/s11229-022-03967-6 [details]
- Bezhanishvili, G., Bezhanishvili, N., & de Groot, J. (2022). A coalgebraic approach to dualities for neighborhood frames. Logical Methods in Computer Science, 18(3), Article 4. Advance online publication. https://doi.org/10.46298/lmcs-18(3:4)2022, https://doi.org/10.48550/arXiv.2106.01628 [details]
- Bezhanishvili, N., & Moraschini, T. (2022). Hereditarily Structurally Complete Intermediate Logics: Citkin’s Theorem Via Duality. Studia Logica. Advance online publication. https://doi.org/10.1007/s11225-022-10012-7
- Bezhanishvili, N., Ciancia, V., Gabelaia, D., Grilletti, G., Latella, D., & Massink, M. (2022). Geometric model checking of continuous space. Logical Methods in Computer Science, 18(4), Article 7. Advance online publication. https://doi.org/10.46298/lmcs-18(4:7)2022, https://doi.org/10.48550/arXiv.2105.06194 [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]
- Bezhanishvili, N., de Groot, J., & Venema, Y. (2022). Coalgebraic geometric logic: Basic theory. Logical Methods in Computer Science, 18(4), Article 10. Advance online publication. https://doi.org/10.46298/LMCS-18(4:10)2022, https://doi.org/10.48550/arXiv.1903.08837 [details]
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
- 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]
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
- Bezhanishvili, G., Bezhanishvili, N., & Ilin, J. (2018). Stable modal logics. Review of Symbolic Logic, 11(3), 436-469. https://doi.org/10.1017/S1755020317000375 [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., & de Jongh, D. (2018). Stable formulas in intuitionistic logic. Notre Dame Journal of Formal Logic, 59(3), 307-324. https://doi.org/10.1215/00294527-2017-0030 [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, 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
- 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). Multiple-conclusion rules, hypersequent syntax and step frames. In R. Goré, B. Kooi, & A. Kurucz (Eds.), Advances in Modal Logic: AiML 10 (pp. 54-73). College Publications. http://www.aiml.net/volumes/volume10/Bezhanishvili-Ghilardi.pdf [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]
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
- Bezhanishvili, N., & de Jongh, D. (2012). Extendible Formulas in Two Variables in Intuitionistic Logic. Studia Logica, 100(1-2), 61-89. https://doi.org/10.1007/s11225-012-9389-8 [details]
- van Benthem, J., Bezhanishvili, N., & Hodkinson, I. (2012). Sahlqvist correspondence for modal mu-calculus. Studia Logica, 100(1-2), 31-60. https://doi.org/10.1007/s11225-012-9388-9 [details]
2010
- Bezhanishvili, N., Fontaine, G., & Venema, Y. (2010). Vietoris bisimulations. Journal of Logic and Computation, 20(5), 1017-1040. https://doi.org/10.1093/logcom/exn091 [details]
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. https://doi.org/10.12775/LLP.2008.006 [details]
Spreker
- 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
2019
2018
2015
- 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]
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
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.