A relational model for temporal logic

DOI10.1093/JIGPAL/6.2.157MaRDI QIDQ4383696zbMATH OpenOpenAlexFDO

Authors Burghard von Karger, Rudolf Berghammer

Publication date 4 February 1999

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

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

zbMATH Keywords

algebra of programslinear temporal logicreactive systemsrelational algebratemporal 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)

Recommendations

• An algebraic approach to temporal logic
• scientific article; zbMATH DE number 3862426
• Temporal algebra
• scientific article; zbMATH DE number 2087347

Cited in

(7)

• Exploring an interface model for CKA
• Dynamic Logic Model of Time Axes in Temporal Database
• A homogeneous relational model and query languages for temporal databases
• An algebraic approach to temporal logic
• Integrated Formal Methods
• Interpretability of first-order linear temporal logics in fork algebras
• Models of representation of temporal relations in intelligence decision support systems

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4383696)