scientific article; zbMATH DE number 2047494

zbMATH Open1033.03010MaRDI QIDQ4451651FDOQ4451651

Authors: V. F. Murzina 

Publication date: 29 February 2004

Title of this publication is not available (Why is that?)

Recommendations

• Interval temporal logics over finite linear orders: the complete picture
• Temporal logic of linearly ordered \(\alpha\)-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

zbMATH Keywords

temporal logicf-space

Mathematics Subject Classification ID

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

Cited In (5)

• Title not available (Why is that?)
• Temporal logic of linearly ordered \(\alpha\)-spaces
• Title not available (Why is that?)
• Finite-trace linear temporal logic: coinductive completeness
• Title not available (Why is that?)

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)