Year: 2026
Type: article
Abstract: We establish an Esakia duality for the categories of temporal Heyting algebras and temporal Esakia spaces. This includes a proof of contravariant equivalence and a congruence/filter/closed-upset correspondence. We then study two notions of «reachability » on the relevant spaces/frames and show their equivalence in the finite case. We use these notions of reachability to give both lattice-theoretic and dual order-topological characterisations of simple and subdirectly-irreducible temporal Heyting algebras. Finally, we apply our duality results to prove the relational and algebraic finite model property for the temporal Heyting calculus. This, in conjunction with the proven characterisations, allows us to prove a relational completeness result that combines finiteness and the frame property dual to subdirect-irreducibility, giving us a class of finite, well-understood frames for the logic.
Source: Algebra Universalis
Author: David Quinn Alvarez
Institution: Leiden University
Language: English
Topic: Advanced Algebra and Logic
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: hybrid
Estimated APC paid: $3,190
OpenAlex ID: W4415197688
FWCI:
Cites:
Cited by:
Related to: