Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 94
Number of items: 94
  • 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
  • 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
  • Open Access
    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
  • Open Access
    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
  • Open Access
    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
  • 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
  • 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
  • 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
  • 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
  • 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
Page 8 of 10