Two-dimensional temporal logic

MaRDI QIDQ4218530zbMATH OpenFDO

Authors Mark Alexander Reynolds

Publication date 11 November 1998

zbMATH Keywords

combinations of temporal logics

Mathematics Subject Classification ID

Temporal logic (03B44)

Recommendations

• Combining temporal logic systems
• A two-dimensional metric temporal logic
• Temporal patterns and modal structure
• scientific article; zbMATH DE number 4081516

Cited in

(9)

• A note on the tense logic of dominoes
• Temporalising Logics: Fifteen Years After
• Temporal patterns and modal structure
• Handling database updates in two-dimensional temporal logic
• Completeness through flatness in two-dimensional temporal logic
• THE TEMPORAL LOGIC OF TWO DIMENSIONAL MINKOWSKI SPACETIME IS DECIDABLE
• scientific article; zbMATH DE number 4121966 (Why is no real title available?)
• scientific article; zbMATH DE number 2086604 (Why is no real title available?)
• A two-dimensional metric temporal logic

This page was built for publication: Two-dimensional temporal logic

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