contact

dhr. dr. N. (Nick) Bezhanishvili


  • Faculteit der Natuurwetenschappen, Wiskunde en Informatica
    ILLC
  • POSTBUS  94242
    1090 GE  Amsterdam
  • N.Bezhanishvili@uva.nl

2015

  • N. Bezhanishvili & S. Sourabh (in press). Sahlqvist preservation for topological fixed-point logic. Journal of Logic and Computation.
  • N. Bezhanishvili, D. Coumans, S. van Gool & D.H.J. de Jongh (2015). Duality and universal models for the meet-implication fragment of IPC. In Logic, Language and Computation. Springer.

2014

  • N. Bezhanishvili, H. Andreka, J.F.A.K. van Benthem & I. Nemeti (2014). Changing a semantics: opportunism or courage? In M Manzano, I. Sain & E. Alonso (Eds.), The life and work of Leon Henkin (pp. 307-337). Bikrhaeuser.
  • N. Bezhanishvili & S. Ghilardi (2014). Multiple-conclusion rules, hypersequent syntax and step frames. In R Gore, B Kooi & A Kurucz (Eds.), Advances in Modal Logic (pp. 54-61). College Publications.
  • N. Bezhanishvili & W. van der Hoek (2014). Structures for epistemic logic. In A. Baltag & S. Smets (Eds.), Johan van Benthem on Logic and Information Dynamics (pp. 339-381). Springer.
  • N. Bezhanishvili, S. Ghilardi & M. Jibladze (2014). Free modal algebras revisited: the step-by-step method. In Leo Esakia on Duality in Modal and Intuitionistic Logic (pp. 43-63). Springer.
  • N. Bezhanishvili, G. Bezhanishvili & J. Harding (in press). Modal compact Hausdorff spaces. Journal of Logic and Computation. doi: 10.1093/logcom/exs030
  • N. Bezhanishvili & S. Ghilardi (2014). The bounded model property via step algebras and step frames. Annals of Pure and Applied Logic, 165 (12), 1832-1863. doi: 10.1016/j.apal.2014.07.005
  • N. Bezhanishvili & G. Bezhanishvili (in press). Locally finite reducts of Heyting algebras and canonical formulas. Notre Dame Journal of Formal Logic.

2013

  • A. Baltag, N. Bezhanishvili, A. Ozgun & S.J.L. Smets (2013). The Topology of Belief, Belief Revision and Defeasible Knowledge. Lecture Notes in Computer Science, 8196, 27-40.

2012

2010

  • N. Bezhanishvili, G. Fontaine & Y. Venema (2010). Vietoris bisimulations. Journal of Logic and Computation, 20 (5), 1017-1040.

2008

2012

  • D.H.J. de Jongh & N. Bezhanishvili (2012). Extendible formulas in two variables in intuitionistic logic. (intern rapport, Prepublication Series, no PP-2011-34). Amsterdam: Universiteit van Amsterdam, ILLC.
This page has been automatically generated by the UvA-Current Research Information System. If you have any questions about the content of this page, please contact the UBAcoach or the Metis staff of your faculty / institute. To edit your publications login to Personal Metis.
  • Geen nevenwerkzaamheden

bewerk