scientific article; zbMATH DE number 2047494

zbMATH Open1033.03010MaRDI QIDQ4451651

V. F. Murzina

Publication date: 29 February 2004

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

temporal logicf-space

Mathematics Subject Classification ID

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

Related Items (3)

Finite-trace linear temporal logic: coinductive completeness ⋮ Temporal logic of linearly ordered \(\alpha\)-spaces ⋮ Unnamed Item

Recommendations

• Temporal logic of linearly ordered \(\alpha\)-spaces 👍 👎
• 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 👍 👎
• Unnamed Item 👍 👎
• Unnamed Item 👍 👎
• Unnamed Item 👍 👎
• Unnamed Item 👍 👎
• Unnamed Item 👍 👎

This page was built for publication: