scientific article; zbMATH DE number 845931

MaRDI QIDQ4864475zbMATH OpenFDO

Authors Wojciech Penczek

Publication date 1 July 1996

zbMATH Keywords

partial order temporal logicstrace systems

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• scientific article; zbMATH DE number 512851
• scientific article; zbMATH DE number 1059322
• On undecidability of propositional temporal logics on trace systems
• scientific article; zbMATH DE number 1786650
• Completeness of temporal logics over infinite intervals.

Cited in

(15)

• On undecidability of propositional temporal logics on trace systems
• Axiomatisation and decidability of \(F\) and \(P\) in cyclical time
• Completeness of temporal logics over infinite intervals.
• Undecidability of partial order logics
• scientific article; zbMATH DE number 4170873 (Why is no real title available?)
• Polynomials, Fragments of Temporal Logic and the Variety DA over Traces
• Completeness Theorems for Temporal Logics TΩ and □TΩ
• scientific article; zbMATH DE number 4056975 (Why is no real title available?)
• TEMPORAL LOGICS FOR TRACE SYSTEMS: ON AUTOMATED VERIFICATION
• scientific article; zbMATH DE number 512851 (Why is no real title available?)
• scientific article; zbMATH DE number 1059322 (Why is no real title available?)
• scientific article; zbMATH DE number 1104444 (Why is no real title available?)
• A tableau proof system for a Mazurkiewicz trace logic with fixpoints
• Axioms for Obligation and Robustness with Temporal Logic
• Polynomials, fragments of temporal logic and the variety DA over traces

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 Q4864475)