scientific article
From MaRDI portal
Publication:2904048
zbMath1254.03027MaRDI QIDQ2904048
Sophie Pinchinat, Hans P. van Ditmarsch, Tim French
Publication date: 5 August 2012
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
modal logicmulti-agent systembisimulationaxiomatizationdynamic epistemic logicstemporal epistemic logicfuture event logic
Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30) Temporal logic (03B44) Agent technology and artificial intelligence (68T42)
Related Items (7)
The undecidability of quantified announcements ⋮ The Complexity of One-Agent Refinement Modal Logic ⋮ To be announced ⋮ Arbitrary public announcement logic with memory ⋮ Refinement modal logic ⋮ The complexity of one-agent refinement modal logic ⋮ Refinement Quantified Logics of Knowledge
This page was built for publication:
