Luca Carai

Order, July, 2023

De Vries Powers and Proximity Specker Algebras.

[BibT_eX]

[DOI]

Appl. Categorical Struct., June, 2023

Temporal Interpretation of Monadic Intuitionistic Quantifiers.

[BibT_eX]

[DOI]

Rev. Symb. Log., March, 2023

Admissibility of Π<sub>2</sub>-Inference Rules: interpolation, model completion, and contact algebras.

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., 2023

2022

Modal Operators on Rings of Continuous Functions.

[BibT_eX]

[DOI]

J. Symb. Log., December, 2022

Duality for powerset coalgebras.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2022

The Vietoris functor and modal operators on rings of continuous functions.

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., 2022

2021

New Directions in Duality Theory for Modal Logic.

[BibT_eX]

[DOI]

Bull. Symb. Log., 2021

Free bounded archimedean ℓ-algebras.

[BibT_eX]

[DOI]

Appl. Categorical Struct., 2021

2020

Coalgebras for the powerset functor and Thomason duality.

[BibT_eX]

[DOI]

CoRR, 2020

Temporal Interpretation of Intuitionistic Quantifiers.

[BibT_eX]

[DOI]

Proceedings of the 13th Conference on Advances in Modal Logic, 2020

2019

Existentially closed Brouwerian Semilattices.

[BibT_eX]

[DOI]