Linear, branching time and joint closure semantics for temporal logic

DOI10.1023/A:1019999621456zbMath1018.03017OpenAlexW1526188231MaRDI QIDQ1863748

Joeri Engelfriet, Jan Treur

Publication date: 12 March 2003

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1019999621456

zbMATH Keywords

semanticstemporal logiclinear timebranching timejoint closure models

Mathematics Subject Classification ID

Temporal logic (03B44)

This page was built for publication: Linear, branching time and joint closure semantics for temporal logic