scientific article; zbMATH DE number 1754681

MaRDI QIDQ4535109zbMATH OpenFDO

Authors John Treuer, John-Jules Meyer

Publication date 4 November 2002

zbMATH Keywords

dynamic logictemporalized logic

Mathematics Subject Classification ID

Temporal logic (03B44) Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70)

Recommendations

• scientific article; zbMATH DE number 1556014
• Temporal logic and state systems
• Temporal and dynamic logic
• scientific article; zbMATH DE number 4033710
• Temporal logic and fair discrete systems

Cited in

(3)

• scientific article; zbMATH DE number 774417 (Why is no real title available?)
• Uninorm Basics
• scientific article; zbMATH DE number 970740 (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 Q4535109)