-
Bezhanishvili, N., Hodkinson, I. (2003) All normal extensions of S5-squared are finitely axiomatizable.Technical Reports. Institute for Logic, Language and Computation.Working paper | UvA-DARE
-
Bezhanishvili, N., Hodkinson, I. (2004) All normal extensions of S5-squared are finitely axiomatizable.Studia Logica, Vol. 78 (pp 443-457)Article | UvA-DARE
-
Bezhanishvili, N., Holliday, W.H. (2020) Choice-free Stone duality.Journal of Symbolic Logic, Vol. 85 (pp 109-148)Article | https://doi.org/10.1017/jsl.2019.11 | UvA-DARE
-
Bezhanishvili, N., Iemhoff, R., Yang, F. (2024) Dick de Jongh on Intuitionistic and Provability Logics.Outstanding Contributions to Logic, Vol. 28. Springer.Book (Editorship) | https://doi.org/10.1007/978-3-031-47921-2 | UvA-DARE
-
Bezhanishvili, N., Kupke, C. (2016) Games for topological fixpoint logic.Electronic Proceedings in Theoretical Computer Science, Vol. 226 (pp 46-60)Article | https://doi.org/10.4204/EPTCS.226.4 | UvA-DARE
-
Bezhanishvili, N., Marra, V., McNeill, D., Pedrini, A. (2018) Tarski's theorem on intuitionistic logic, for polyhedra.Annals of Pure and Applied Logic, Vol. 169 (pp 373-391)Article | https://doi.org/10.1016/j.apal.2017.12.005 | UvA-DARE
-
Bezhanishvili, N., Martins, M., Moraschini, T. (2024) Bi-intermediate logics of trees and co-trees.Annals of Pure and Applied Logic, Vol. 175Article | https://doi.org/10.1016/j.apal.2024.103490 | UvA-DARE
-
Bezhanishvili, N., Marx, M. (2003) All proper normal extensions of s5-squared have the polynomial size model property.Studia Logica, Vol. 73 (pp 367-382)Article | UvA-DARE
-
Bezhanishvili, N., Moraschini, Tommaso (2022) Hereditarily Structurally Complete Intermediate Logics: Citkin’s Theorem Via Duality.Studia LogicaArticle | https://doi.org/10.1007/s11225-022-10012-7 | UvA-DARE
-
Bezhanishvili, N., Sourabh, S. (2017) Sahlqvist preservation for topological fixed-point logic.Journal of Logic and Computation, Vol. 27 (pp 679-703)Article | https://doi.org/10.1093/logcom/exv010 | UvA-DARE
-
Bezhanishvili, N., ten Cate, B., Marx, M., Viana, J.P. (2004) Sahlqvist theory and transfer results for hybrid logics.In Schmidt, R. Pratt-Hartman, I. (Eds.), Preliminary proceedings of Advances in Modal Logic 2004 (pp 44-61)Conference contribution | UvA-DAREBezhanishvili, N., ten Cate, B. (2004) Transfer results for hybrid logic - part i: the case without satisfaction operators.Internal Reports. Institute for Logic, Language and Computation.Working paper | UvA-DAREBezhanishvili, N., ten Cate, B. (2006) Transfer results for hybrid logic Part I: the case without the satisfaction operators.Journal of Logic and Computation, Vol. 16 (pp 177-197)Article | https://doi.org/10.1093/logcom/exi056 | UvA-DAREBezhanishvili, N., van der Hoek, W. (2014) Structures for epistemic logic.In Baltag, A. Smets, S. (Eds.), Johan van Benthem on Logic and Information Dynamics (pp 339-380) (Outstanding contributions to logic, Vol. 5). Springer.Chapter | https://doi.org/10.1007/978-3-319-06025-5_12 | UvA-DAREBezhanishvili, N., Yang, F. (2024) Intermediate Logics in the Setting of Team Semantics.In Bezhanishvili, N. Iemhoff, R. Yang, F. (Eds.), Dick de Jongh on Intuitionistic and Provability Logics (pp 231-271) (Outstanding Contributions to Logic, Vol. 28). Springer.Chapter | https://doi.org/10.1007/978-3-031-47921-2_9 | UvA-DAREBezhanishvili, N. (2000) Varieties of Two-Dimensional Diagonal-Free Cylindric Algebras. Part I..Technical Reports. Institute for Logic, Language and Computation.Working paper | UvA-DAREBezhanishvili, N. (2002) Pseudomonadic algebras as algebraic models of doxastic modal logic.Mathematical Logic Quarterly, Vol. 48 (pp 624-636)Bezhanishvili, N. (2002) Varieties of two-dimensional cylindric algebras.Algebra Universalis, Vol. 48 (pp 11-42)Article | https://doi.org/10.1007/s00012-002-8203-2 | UvA-DAREBezhanishvili, N. (2002) Two-dimensional cylindric algebras.part ii.Technical Report. Institute for Logic, Language and Computation.Working paper | UvA-DAREBezhanishvili, N. (2004) De Jongh's characterization of intuitionistic propositional calculus.In Liber amicorum Dick de Jongh (pp 1-10). Amsterdam University Press.Chapter | UvA-DARE
The data of this list is taken from the Pure database. If you find output is missing from the list, please follow the previous link to find out how to submit to Pure. In case there are mistakes in PURE, please contact illc at uva.nl