scientific article; zbMATH DE number 2047494

MaRDI QIDQ4451651zbMATH OpenFDO

Authors V. F. Murzina

Publication date 29 February 2004

zbMATH Keywords

temporal logicf-space

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Temporal logic (03B44)

Recommendations

• Interval temporal logics over finite linear orders: the complete picture
• Temporal logic of linearly ordered -spaces
• scientific article; zbMATH DE number 1088203
• Publication:4938418
• A complete axiomatic characterization of first-order temporal logic of linear time
• Finite-trace linear temporal logic: coinductive completeness
• The complexity of linear-time temporal logic over the class of ordinals
• Decidability and incompleteness results for first-order temporal logics of linear time
• Interval temporal logics over strongly discrete linear orders: the complete picture
• scientific article; zbMATH DE number 1848280

Cited in

(5)

• scientific article; zbMATH DE number 2039010 (Why is no real title available?)
• Temporal logic of linearly ordered -spaces
• scientific article; zbMATH DE number 4148071 (Why is no real title available?)
• Finite-trace linear temporal logic: coinductive completeness
• scientific article; zbMATH DE number 1088203 (Why is no real title available?)

This page was built for publication:

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