A relational model for temporal logic

DOI10.1093/JIGPAL/6.2.157zbMath0906.03030OpenAlexW2124991013MaRDI QIDQ4383696

Rudolf Berghammer, Burghard von Karger

Publication date: 4 February 1999

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/4c2126c8d406e666cc4e05076b231381b2fbd030

zbMATH Keywords

relational algebralinear temporal logicreactive systemsalgebra of programstemporal algebratime diagram

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (2)

Exploring an Interface Model for CKA ⋮ Interpretability of first-order linear temporal logics in fork algebras

This page was built for publication: A relational model for temporal logic