Future event logic -- axioms and complexity

zbMATH Open1254.03027MaRDI QIDQ2904048FDOQ2904048

Authors: Sophie Pinchinat, Hans van Ditmarsch, Tim French 

Publication date: 5 August 2012

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

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)

Cited In (9)

• Refinement quantified logics of knowledge
• To be announced
• Title not available (Why is that?)
• 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)