Nick Bezhanishvili
Orcid: 0009-0005-6692-5051
According to our database1,
Nick Bezhanishvili
authored at least 79 papers
between 1999 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on orcid.org
On csauthors.net:
Bibliography
2023
Hereditarily Structurally Complete Intermediate Logics: Citkin's Theorem Via Duality.
Stud Logica, April, 2023
Admissibility of Π<sub>2</sub>-Inference Rules: interpolation, model completion, and contact algebras.
Ann. Pure Appl. Log., 2023
2022
Log. Methods Comput. Sci., 2022
Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 2022
2021
J. Symb. Log., 2021
Bull. Symb. Log., 2021
2020
A model-theoretic approach to descriptive general frames: the van Benthem characterization theorem.
J. Log. Comput., 2020
Proceedings of the Coalgebraic Methods in Computer Science, 2020
Proceedings of the 13th Conference on Advances in Modal Logic, 2020
Filtrations, canonical formulas, and axiomatizations of superintuitionistic and modal logics.
Proceedings of the 13th Conference on Advances in Modal Logic, 2020
2019
Stud Logica, 2019
J. Log. Comput., 2019
Ann. Pure Appl. Log., 2019
Ann. Pure Appl. Log., 2019
Proceedings of the Logic, Language, Information, and Computation, 2019
Proceedings of the Logic, Language, Information, and Computation, 2019
Proceedings of the Language, Logic, and Computation - 13th International Tbilisi Symposium, 2019
Proceedings of the 8th Conference on Algebra and Coalgebra in Computer Science, 2019
2018
2017
Notre Dame J. Formal Log., 2017
J. Log. Comput., 2017
Proceedings of the Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge, 2017
Appl. Categorical Struct., 2017
Proceedings of the Language, Logic, and Computation - 12th International Tbilisi Symposium, 2017
Proceedings of the Logic, Rationality, and Interaction - 6th International Workshop, 2017
Proceedings of the Logic, Rationality, and Interaction - 6th International Workshop, 2017
2016
Proceedings of the Seventh International Symposium on Games, 2016
Proceedings of the Logic, Language, Information, and Computation, 2016
2015
Appl. Categorical Struct., 2015
Proceedings of the Logic, Language, and Computation, 2015
Proceedings of the Logic, Language, and Computation, 2015
2014
Ann. Pure Appl. Log., 2014
Proceedings of the Advances in Modal Logic 10, 2014
Proceedings of the Johan van Benthem on Logic and Information Dynamics, 2014
2013
Proceedings of the Logic, Language, and Computation, 2013
Proceedings of the TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, Vanderbilt University, Nashville, Tennessee, USA, July 28, 2013
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2013
Proceedings of the Logic, Rationality, and Interaction - 4th International Workshop, 2013
2012
Proceedings of the Logic, Language, Information and Computation, 2012
2011
Log. Methods Comput. Sci., 2011
2010
Math. Struct. Comput. Sci., 2010
2009
Rev. Symb. Log., 2009
Proceedings of the Algebra and Coalgebra in Computer Science, 2009
2008
2007
Proceedings of the Algebra and Coalgebra in Computer Science, 2007
2006
J. Log. Comput., 2006
2004
2003
Stud Logica, 2003
2002
Math. Log. Q., 2002
1999
Distributive Lattices with Quantifiers: Topological Representation.
Proceedings of the 4th Student Session of ESSLLI'99 (European Summer School on Logic, 1999