Concepedia

Nick Bezhanishvili

NB

31

Publications

728

Citations

16

H-Index

2002

Active since

Affiliations

University of Amsterdam(Current)

New Mexico State University

Imperial College London

University of Milan

Tsinghua University

Nick Bezhanishvili is an author at University of Amsterdam specializing in automated reasoning, engineering, and formal methods.

Top concepts

Automated ReasoningEngineeringFormal MethodsComputer ScienceLanguageSemanticsLinguisticsFormal VerificationFunctional AnalysisRepresentation Theory

Publications per year

2002–2022

31

Publications

31

Lattices of intermediate and cylindric modal logics

Nick Bezhanishvili · Data Archiving and Networked Services (DANS) · 2006 · 82 citations · Full text

Lattice (Order), Automated Reasoning, Modal Logic +2

Bitopological duality for distributive lattices and Heyting algebras

Guram Bezhanishvili, Nick Bezhanishvili, David Gabelaia et al. · Mathematical Structures in Computer Science · 2010 · 64 citations · Full text

Lattice Theory, Algebraic Logic, Abstract Algebra +7

Finitely generated free Heyting algebras via Birkhoff duality and coalgebra

Nick Bezhanishvili, Mai Gehrke · Logical Methods in Computer Science · 2011 · 55 citations · Full text

Algebraic Logic, Hopf Algebra, Abstract Algebra +8

Profinite Heyting Algebras

Guram Bezhanishvili, Nick Bezhanishvili · Order · 2008 · 37 citations

Profinite Heyting Algebras, Abstract Algebra, Universal Algebra +1

A Topological Approach to Full Belief

Alexandru Baltag, Nick Bezhanishvili, Aybüke Özgün et al. · Journal of Philosophical Logic · 2018 · 35 citations · Full text

Rows per page

1–5 of 31