The mosaic method for temporal logics

DOI10.1007/10722086_26MaRDI QIDQ2721205zbMATH OpenFDO

Authors Maarten Marx, Szabolcs Mikulás, Mark Alexander Reynolds

Publication date 1 July 2001

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

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

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Temporal logic (03B44)

Recommendations

• On the mosaic method for many-dimensional modal logics: a case study combining tense and modal operators
• A tableau for temporal logic over the reals
• Decidability and complexity via mosaics of the temporal logic of the lexicographic products of unbounded dense linear orders
• A decidable temporal logic of parallelism
• The complexity of the temporal logic with ``until over general linear time

Cited in

(8)

• The complexity of the temporal logic with ``until over general linear time
• On the mosaic method for many-dimensional modal logics: a case study combining tense and modal operators
• Metric temporal logic revisited
• About the temporal logic of the lexicographic products of unbounded dense linear orders: a new study of its computability
• THE TEMPORAL LOGIC OF TWO DIMENSIONAL MINKOWSKI SPACETIME IS DECIDABLE
• LINEAR TIME IN HYPERSEQUENT FRAMEWORK
• The complexity of temporal logic over the reals
• Defining logical systems via algebraic constraints on proofs

This page was built for publication: The mosaic method for temporal logics

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