scientific article; zbMATH DE number 6302910
From MaRDI portal
Publication:5419886
zbMath1301.03019MaRDI QIDQ5419886
Rowan Davies, James Hales, Tim French
Publication date: 11 June 2014
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
modal logicmulti-agent systemepistemic logicdoxastic logictemporal epistemic logicaction modelsbisimulation quantifier
Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Temporal logic (03B44)
Related Items (9)
Unnamed Item ⋮ Arrow update synthesis ⋮ Unnamed Item ⋮ Refinement modal logic ⋮ Refining strategic ability in alternating-time temporal logic ⋮ Positive announcements ⋮ A general multi-agent epistemic planner based on higher-order belief change ⋮ Efficient multi-agent epistemic planning: teaching planners about nested belief ⋮ Forgetting in multi-agent modal logics
This page was built for publication:
