Forgetting in Multi-Agent Modal Logics.
Liangda FangYongmei LiuHans van DitmarschPublished in: IJCAI (2016)
Keyphrases
- modal logic
- multi agent
- kripke models
- decision procedures
- temporal logic
- inference rules
- multi agent systems
- nonmonotonic logics
- cooperative
- incremental learning
- default logic
- epistemic logic
- classical logic
- multiagent systems
- situation calculus
- multiple agents
- modal operators
- autoepistemic logic
- dynamic logic
- default reasoning
- model checking
- probability distribution