Search Results - "Bezhanishvili, N."

Tree-like constructions in topology and modal logic by Bezhanishvili, G., Bezhanishvili, N., Lucero-Bryan, J., van Mill, J.

“…Within ZFC, we develop a general technique to topologize trees that provides a uniform approach to topological completeness results in modal logic with respect…”
Get full text

Diego’s Theorem for nuclear implicative semilattices by Bezhanishvili, G., Bezhanishvili, N., Carai, L., Gabelaia, D., Ghilardi, S., Jibladze, M.

“…We prove that the variety of nuclear implicative semilattices is locally finite, thus generalizing Diego’s Theorem. The key ingredients of our proof include…”
Get full text

Vietoris Bisimulations by Bezhanishvili, N., Fontaine, G., Venema, Y.

“…Building on the fact that descriptive frames are coalgebras for the Vietoris functor on the category of Stone spaces, we introduce and study the concept of a…”
Get full text

Profiniteness and representability of spectra of Heyting algebras by Bezhanishvili, G., Bezhanishvili, N., Moraschini, T., Stronkowski, M.

“…We prove that there exist profinite Heyting algebras that are not isomorphic to the profinite completion of any Heyting algebra. This resolves an open problem…”
Get full text

A New Proof of the McKinsey–Tarski Theorem by Bezhanishvili, G., Bezhanishvili, N., Lucero-Bryan, J., van Mill, J.

“…It is a landmark theorem of McKinsey and Tarski that if we interpret modal diamond as closure (and hence modal box as interior), then S4 is the logic of any…”
Get full text

Sahlqvist preservation for topological fixed-point logic by Bezhanishvili, N., Sourabh, S.

Get full text

Profinite Heyting Algebras by Bezhanishvili, G., Bezhanishvili, N.

“…For a Heyting algebra A , we show that the following conditions are equivalent: (i) A is profinite; (ii) A is finitely approximable, complete, and completely…”
Get full text

Modal compact Hausdorff spaces by Bezhanishvili, G., Bezhanishvili, N., Harding, J.

“…We introduce modal compact Hausdorff spaces as generalizations of modal spaces, and show these are coalgebras for the Vietoris functor on compact Hausdorff…”
Get full text

Bi-intermediate logics of trees and co-trees by Bezhanishvili, N, Martins, M, Moraschini, T

“…A bi-Heyting algebra validates the G\"odel-Dummett axiom $(p\to q)\vee (q\to p)$ iff the poset of its prime filters is a disjoint union of co-trees (i.e.,…”
Get full text

Varieties of two-dimensional cylindric algebras II by Bezhanishvili, Nick

Get full text

Profiniteness and representability of spectra of Heyting algebras by Bezhanishvili, G, Bezhanishvili, N, Moraschini, T, Stronkowski, M

“…We prove that there exist profinite Heyting algebras that are not isomorphic to the profinite completion of any Heyting algebra. This resolves an open problem…”
Get full text

Pseudomonadic Algebras as Algebraic Models of Doxastic Modal Logic by Bezhanishvili, Nick

“…We generalize the notion of a monadic algebra to that of a pseudomonadic algebra. In the same way as monadic algebras serve as algebraic models of epistemic…”
Get full text

Varieties of two-dimensional cylindric algebras.¶Part I: Diagonal-free case by Bezhanishvili, Nick

Get full text

Transfer Results for Hybrid Logic. Part I: The Case Without Satisfaction Operators by Bezhanishvili, Nick, Cate, Balder Ten

“…We define for every Kripke complete modal logic L its hybrid companion LH and investigate which properties transfer from L to LH. For a specific class of…”
Get full text

Changing a semantics: opportunism or courage? by Andréka, H, van Benthem, J. F. A. K, Bezhanishvili, N, Németi, I

“…In: The life and work of Leon Henkin. Essays on his contributions. Editors: Maria Manzano, Ildiko Sain and Enrique Alonso., Studies in Universal Logic,…”
Get full text