Nick Bezhanishvili 

Postal address
Institute for Logic, Language and Computation
University of Amsterdam
P.O. Box 94242
1090 GE Amsterdam
The Netherlands

Email: N.Bezhanishvili AT delete this part uva.nl
Office: F.247



Publications

Teaching


Service

Editor of the Journal of Logic, Language and Information

Editor of Mathematical Logic Quarterly

Editor of the FoLLI subline of LNCS

SC member of Algebra and Coalgebra meet Proof Theory

Co-organizer of the Algebra and Coalgebra Seminar ILLC, University of Amsterdam.

Co-organizer of the ToLo VI, Tbilisi, Georgia, 2-6 July, 2018.

Co-organizer of the SYSMICS Summer School, Les Diablerets, Switzerland, 22 - 26 August, 2018.

Chair of the Organizing Committee of Syntax meets Semantics 2019, Amsterdam, 21 - 25 January, 2019.

PC chair of Logic, Algebra and Truth Degrees 2020 LATD 2020 Tbilisi, Georgia, 14-18 September, 2020.

PC member of ECAI 2020, CMCS 2020, TbiLLC 2019, WoLLIC 2019, TACL 2019, SYSMICS 2019, AWPL-IV, M4M 2017, TACL 2017, TbiLLC 2017, SYSMICS 2016, ALCOP 2016, TbiLLC 2015, TACL 2015, AiML 2014, MFPS 2013, TbiLLC 2013, AiML 2012


Current PhD Students

Gianluca Grilletti (co-supervised with Floris Roelofsen and Ivano Ciardelli)


Former PhD Students

4. Frederik Moellerstroem Lauridsen, (co-supervised with Yde Venema). Thesis entitled: Cuts and Completions: Algebraic aspects of structural proof theory. (Defence date: 10 October, 2019).

3. Julia Ilin, (co-supervised with Yde Venema). Thesis entitled: Filtration revisited: lattices of stable non-classical logics. (Defence date: 15 June, 2018).

2. Aybuke Ozgun, (co-supervised with Hans van Ditmarsch and Sonja Smets). Thesis entitled: Evidence in Epistemic Logic: A Topological Perspective. (Defence date: 4 October, 2017).

1. Sumit Sourabh, (co-supervised with Alessandra Palmigiano and Yde Venema). Thesis entitled: Correspondence and Canonicity in Non-Classical Logic. (Defence date: 9 September, 2015).


Former Master's Students

12. Davide Quadrellaro (co-supervised with Gianluca Grilletti), Master's thesis entitled: Lattices of DNA-logics and algebraic semantics of inquisitive logic , ILLC, University of Amsterdam. Defense date: 13 September, 2019.

11. Sam Adam-Day, Master's thesis entitled: Polyhedral completeness in intermediate and modal logics, ILLC, University of Amsterdam. Defense date: 2 July, 2019.

10. Tim Henke, Master's thesis entitled: The van Benthem characterisation theorem for descriptive models, ILLC, University of Amsterdam. Defense date: 2 July, 2019.

9. Saul Fernandez Gonzalez (co-supervised with Alexandru Baltag), Master's thesis entitled: Generic models for topological evidence logic, ILLC, University of Amsterdam. Defense date: 20 September, 2018.

8. Jim de Groot (co-supervised with Yde Venema), Master's thesis entitled: Coalgebraic geometric logic, University of Amsterdam. Defense date: 27 June, 2018.

7. Jana Haenen (co-supervised with Frederik Lauridsen), Master's thesis entitled: A Goedel-style translation from positive calculus into strict implication logic, ILLC, University of Amsterdam. Defense date: 22 May, 2018.

6. Guillaume Massas, Master's thesis entitled: Possibility spaces, Q-completions and Rasiowa-Sikorski lemmas for non-classical logics, ILLC, University of Amsterdam. Defense date: 21 December, 2016.

5. Olim Tuyt (co-supervised with Sebastian Enqvist), Master's thesis entitled: Canonical rules on neighbourhood frames, ILLC, University of Amsterdam. Defense date: 13 December, 2016.

4. Thomas Santoli (co-supervised with Yde Venema), Master's thesis entitled: Logics for compact Hausdorff spaces via de Vries duality, ILLC, University of Amsterdam. Defense date: 3 June, 2016.

3. Frederik Moellerstroem Lauridsen (co-supervised with Silvio Ghilardi), Master's thesis entitled: One-step algebras and frames for modal and intuitionistic logics, ILLC, University of Amsterdam. Defense date: 26 August, 2015.

2. Aybuke Ozgun (co-supervised with Sonja Smets), Master's thesis entitled: Topological models for belief and belief revision, ILLC, University of Amsterdam. Defense date: 21 August, 2013.

1. Gaelle Fontaine (co-supervised with Yde Venema), Master's thesis entitled: Axiomatization of ML and Cheq , ILLC, University of Amsterdam. Defense date: 10 November, 2006.