Luca Carai

14 papers B 1Journal 13
YearRankTypeTitle / Venue / Authors
2025 J jnl
A calculus for modal compact Hausdorff spaces.
J. Log. Comput.
Nick Bezhanishvili, Luca Carai, Silvio Ghilardi, Zhiguang Zhao
2025 J jnl
Failure of the Blok-Esakia Theorem in the monadic setting.
Ann. Pure Appl. Log.
Guram Bezhanishvili, Luca Carai
2023 J jnl
A Point-Free Approach to Canonical Extensions of Boolean Algebras and Bounded Archimedean ℓ-Algebras.
Order
Guram Bezhanishvili, Luca Carai, Patrick J. Morandi
2023 J jnl
Admissibility of Π
Ann. Pure Appl. Log.
Nick Bezhanishvili, Luca Carai, Silvio Ghilardi, Lucia Landi
2023 J jnl
De Vries Powers and Proximity Specker Algebras.
Appl. Categorical Struct.
Guram Bezhanishvili, Luca Carai, Patrick J. Morandi, Bruce Olberding
2023 J jnl
Temporal Interpretation of Monadic Intuitionistic Quantifiers.
Rev. Symb. Log.
Guram Bezhanishvili, Luca Carai
2022 J jnl
Duality for powerset coalgebras.
Log. Methods Comput. Sci.
Guram Bezhanishvili, Luca Carai, Patrick J. Morandi
2022 J jnl
Modal Operators on Rings of Continuous Functions.
J. Symb. Log.
Guram Bezhanishvili, Luca Carai, Patrick J. Morandi
2022 J jnl
The Vietoris functor and modal operators on rings of continuous functions.
Ann. Pure Appl. Log.
Guram Bezhanishvili, Luca Carai, Patrick J. Morandi
2021 J jnl
Free bounded archimedean ℓ-algebras.
Appl. Categorical Struct.
Guram Bezhanishvili, Luca Carai, Patrick J. Morandi
2021 J jnl
New Directions in Duality Theory for Modal Logic.
Bull. Symb. Log.
Luca Carai
2020 J jnl
Coalgebras for the powerset functor and Thomason duality.
CoRR
Guram Bezhanishvili, Luca Carai, Patrick J. Morandi
2020 B conf
Temporal Interpretation of Intuitionistic Quantifiers.
AiML
Guram Bezhanishvili, Luca Carai
2019 J jnl
Existentially closed Brouwerian Semilattices.
J. Symb. Log.
Luca Carai, Silvio Ghilardi