Future event logic -- axioms and complexity

MaRDI QIDQ2904048zbMATH OpenFDO

Authors Sophie Pinchinat, Hans van Ditmarsch, Tim French

Publication date 5 August 2012

zbMATH Keywords

multi-agent systemmodal logicaxiomatizationbisimulationdynamic epistemic logicstemporal epistemic logicfuture event logic

Mathematics Subject Classification ID

Knowledge representation (68T30) Logics of knowledge and belief (including belief change) (03B42) Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42) Temporal logic (03B44)

Recommendations

• Refinement modal logic
• Complete Axiomatizations for Reasoning about Knowledge and Time
• scientific article; zbMATH DE number 4119663
• Dynamic epistemic logic and temporal modality
• Refinement quantified logics of knowledge

Cited in

(9)

• Refinement quantified logics of knowledge
• To be announced
• scientific article; zbMATH DE number 6297875 (Why is no real title available?)
• The undecidability of quantified announcements
• Refinement modal logic
• The complexity of one-agent refinement modal logic
• The complexity of one-agent refinement modal logic
• Axiomatising the Prior future in predicate logic
• Arbitrary public announcement logic with memory

This page was built for publication: Future event logic -- axioms and complexity

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2904048)