Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 95
Number of items: 95
  • Open Access
    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
  • Bezhanishvili, N., & ten Cate, B. D. (2006). Transfer results for hybrid logic Part I: the case without the satisfaction operators. Journal of Logic and Computation, 16, 177-197. https://doi.org/10.1093/logcom/exi056
  • Open Access
    Bezhanishvili, N. (2006). Lattices of intermediate and cylindric modal logics. [Thesis, fully internal, Universiteit van Amsterdam]. Institute for Logic, Language and Computation.
  • Bezhanishvili, N., & de Jongh, D. (2005). Intuitionistic Logic. (ESSLLI Course Notes). Hariot Watt University. http://www.macs.hw.ac.uk/esslli05
  • Bezhanishvili, N., & ten Cate, B. D. (2004). Transfer results for hybrid logic - part i: the case without satisfaction operators. (Internal Reports; No. PP-2004-06). Institute for Logic, Language and Computation.
  • Bezhanishvili, N. (2004). De Jongh's characterization of intuitionistic propositional calculus. In Liber amicorum Dick de Jongh (pp. 1-10). Amsterdam University Press.
  • Bezhanishvili, N. (2004). Varieties of two-dimensional cylindric algebras II. Algebra Universalis, 51, 177-206. https://doi.org/10.1007/s00012-004-1856-2
  • Bezhanishvili, N., ten Cate, B. D., Marx, M. J., & Viana, J. P. (2004). Sahlqvist theory and transfer results for hybrid logics. In R. Schmidt, & I. Pratt-Hartman (Eds.), Preliminary proceedings of Advances in Modal Logic 2004 (pp. 44-61).
  • Open Access
    Bezhanishvili, N., & Hodkinson, I. (2004). All normal extensions of S5-squared are finitely axiomatizable. Studia Logica, 78, 443-457.
  • Bezhanishvili, N., & Hodkinson, I. (2003). All normal extensions of S5-squared are finitely axiomatizable. (Technical Reports; No. PP-2003-25). Institute for Logic, Language and Computation.
Page 9 of 10