Simulation and Information: Quantifying over Epistemic Events

DOI10.1007/978-3-642-05301-6_4zbMath1258.68150OpenAlexW2294397889MaRDI QIDQ3644777

Hans P. van Ditmarsch, Tim French

Publication date: 12 November 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-05301-6_4

zbMATH Keywords

modal logicmulti-agent systemtemporal epistemic logicbisimulation quantifier

Mathematics Subject Classification ID

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 (14)

The Complexity of One-Agent Refinement Modal Logic ⋮ The modal logic of copy and remove ⋮ Action emulation ⋮ To be announced ⋮ The dynamics of awareness ⋮ Refinement modal logic ⋮ Exploring the tractability border in epistemic tasks ⋮ Semantics for knowledge and change of awareness ⋮ Changing types: information dynamics for qualitative type spaces ⋮ The complexity of one-agent refinement modal logic ⋮ An Alternative Logic for Knowability ⋮ Refinement Quantified Logics of Knowledge ⋮ Introspective forgetting ⋮ Copy and remove as dynamic operators

This page was built for publication: Simulation and Information: Quantifying over Epistemic Events