COMPLETE INTUITIONISTIC TEMPORAL LOGICS FOR TOPOLOGICAL DYNAMICS. (4th September 2022)

• Record Type: Journal Article
• Authors: BOUDOU, JOSEPH; DIÉGUEZ, MARTÍN; FERNÁNDEZ-DUQUE, DAVID
• Is Part Of: Journal of symbolic logic. Volume 87:Number 3(2022)
• Page Start: 995
• Page End: 1022
• Publication Date: 2022-09-04
• Subjects: 03B44 -- 03F55; topologial semantics -- temporal logic -- intuitionistic logic; Logic, Symbolic and mathematical -- Periodicals; 511.3
• DOI: 10.1017/jsl.2022.8
• Languages: English
• ISSNs: 0022-4812

Abstract

Abstract: The language of linear temporal logic can be interpreted on the class of dynamic topological systems, giving rise to the intuitionistic temporal logic ${\sf ITL}^{\sf c}_{\Diamond \forall }$, recently shown to be decidable by Fernández-Duque. In this article we axiomatize this logic, some fragments, and prove completeness for several familiar spaces.