A Decidable Intuitionistic Temporal Logic
From MaRDI portal
Publication:5111181
DOI10.4230/LIPIcs.CSL.2017.14zbMath1434.03065arXiv1704.02847OpenAlexW2963017310MaRDI QIDQ5111181
Joseph Boudou, Martín Diéguez, David Fernández-Duque
Publication date: 26 May 2020
Full work available at URL: https://arxiv.org/abs/1704.02847
Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25) Temporal logic (03B44) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items (4)
Undecidability of QLTL and QCTL with two variables and one monadic predicate letter ⋮ COMPLETE INTUITIONISTIC TEMPORAL LOGICS FOR TOPOLOGICAL DYNAMICS ⋮ Exploring the Jungle of Intuitionistic Temporal Logics ⋮ The intuitionistic temporal logic of dynamical systems
This page was built for publication: A Decidable Intuitionistic Temporal Logic
