Completeness through flatness in two-dimensional temporal logic

DOI10.1007/BFB0013986MaRDI QIDQ4518421zbMATH OpenFDO

Authors Yde Venema

Publication date 28 November 2000

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BFB0013986

Mathematics Subject Classification ID

Temporal logic (03B44)

Recommendations

• A two-dimensional metric temporal logic
• scientific article; zbMATH DE number 757647
• Preservation of expressive completeness in temporal models
• Two-dimensional temporal logic
• The power of temporal proofs

Cited in

(4)

• Axiomatizing the logical core of XPath 2.0
• A two-dimensional metric temporal logic
• Interval logics and their decision procedures. I: An interval logic
• On Gabbay's temporal fixed point operator

This page was built for publication: Completeness through flatness in two-dimensional temporal logic

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