On the definability of simulation and bisimulation in epistemic logic

DOI10.1093/logcom/exs058zbMath1431.03030OpenAlexW2028258741WikidataQ58883284 ScholiaQ58883284MaRDI QIDQ2939298

Wiebe van der Hoek, David Fernández-Duque, Hans P. van Ditmarsch

Publication date: 19 January 2015

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/8b90a53bc364e29969aec670e3c6880af550f126

zbMATH Keywords

bisimulationKripke semanticsdefinabilityexpressiveness

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Agent technology and artificial intelligence (68T42)

Related Items (4)

Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief ⋮ Coalition and relativised group announcement logic ⋮ Positive announcements ⋮ Verification and strategy synthesis for coalition announcement logic

This page was built for publication: On the definability of simulation and bisimulation in epistemic logic