Algebraic Analysis of Temporal Intuitionistic Logic

Author: Phridoni Alshibaia
Keywords: Intuitionistic logic, Heyting algebras, Esakia space, duality
Annotation:

Temporal intuitionistic logic is enrichment of intuitionistic propositional calculus with modalities. We investigate corresponding algebraic and topological models.