Existentially closed Brouwerian Semilattices. - Luca Carai; Silvio Ghilardi (J. Symb. Log., 2019)

Temporal Interpretation of Intuitionistic Quantifiers. - Guram Bezhanishvili; Luca Carai (AiML, 2020)

Coalgebras for the powerset functor and Thomason duality. - Guram Bezhanishvili; Luca Carai; Patrick J. Morandi (CoRR, 2020)

Free bounded archimedean ℓ-algebras. - Guram Bezhanishvili; Luca Carai; Patrick J. Morandi (Appl. Categorical Struct., 2021)

New Directions in Duality Theory for Modal Logic. - Luca Carai (Bull. Symb. Log., 2021)

The Vietoris functor and modal operators on rings of continuous functions. - Guram Bezhanishvili; Luca Carai; Patrick J. Morandi (Ann. Pure Appl. Log., 2022)

Duality for powerset coalgebras. - Guram Bezhanishvili; Luca Carai; Patrick J. Morandi (Log. Methods Comput. Sci., 2022)

Modal Operators on Rings of Continuous Functions. - Guram Bezhanishvili; Luca Carai; Patrick J. Morandi (J. Symb. Log., 2022)

Admissibility of Π2-Inference Rules: interpolation, model completion, and contact algebras. - Nick Bezhanishvili; Luca Carai; Silvio Ghilardi; Lucia Landi (Ann. Pure Appl. Log., 2023)

Temporal Interpretation of Monadic Intuitionistic Quantifiers. - Guram Bezhanishvili; Luca Carai (Rev. Symb. Log., 2023)

De Vries Powers and Proximity Specker Algebras. - Guram Bezhanishvili; Luca Carai; Patrick J. Morandi; Bruce Olberding (Appl. Categorical Struct., 2023)

A Point-Free Approach to Canonical Extensions of Boolean Algebras and Bounded Archimedean ℓ-Algebras. - Guram Bezhanishvili; Luca Carai; Patrick J. Morandi (Order, 2023)

Failure of the Blok-Esakia Theorem in the monadic setting. - Guram Bezhanishvili; Luca Carai (Ann. Pure Appl. Log., 2025)