Login / Signup
Tableau-based decision procedure for the multi-agent epistemic logic with operators of common and distributed knowledge
Valentin Goranko
Dmitry Shkatov
Published in:
CoRR (2008)
Keyphrases
</>
multi agent
epistemic logic
dynamic epistemic logic
multi agent systems
cooperative
representing knowledge
knowledge representation
distributed systems
knowledge base
decision making
description logics
computation tree logic
knowledge acquisition
modal logic
inference rules
multiple agents