Intuitionistic Linear Temporal Logics

DOI10.1145/3365833zbMath1433.03047arXiv1912.12893OpenAlexW2994676117WikidataQ126542510 ScholiaQ126542510MaRDI QIDQ5216145

Joseph Boudou, Martín Diéguez, David Fernández-Duque, Philippe Balbiani

Publication date: 14 February 2020

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1912.12893

zbMATH Keywords

bisimulationintuitionistic logictemporal logictheory of computationmathematics of computing

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Temporal logic (03B44) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (5)

Undecidability of QLTL and QCTL with two variables and one monadic predicate letter ⋮ On the finite model property of weak intuitionistic tense logic ⋮ COMPLETE INTUITIONISTIC TEMPORAL LOGICS FOR TOPOLOGICAL DYNAMICS ⋮ Exploring the Jungle of Intuitionistic Temporal Logics ⋮ Time and Gödel: fuzzy temporal reasoning in PSPACE

This page was built for publication: Intuitionistic Linear Temporal Logics