scientific article; zbMATH DE number 877747

MaRDI QIDQ4877440zbMATH OpenFDO

Authors Gerd Große, Hesham Khalil

Publication date 29 September 1996

zbMATH Keywords

state event logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27)

Recommendations

• scientific article; zbMATH DE number 1761426
• scientific article; zbMATH DE number 1834565
• Integrated Formal Methods
• scientific article; zbMATH DE number 3924133
• A logic-based, reactive calculus of events
• Formal Techniques for Networked and Distributed Systems – FORTE 2004
• A State/Event Temporal Deontic Logic

Cited in

(4)

• The logic of events
• scientific article; zbMATH DE number 1761426 (Why is no real title available?)
• scientific article; zbMATH DE number 4119663 (Why is no real title available?)
• scientific article; zbMATH DE number 1834565 (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 Q4877440)