Naming and Identity in a Multi-Agent Epistemic Logic.
Adam J. GroveJoseph Y. HalpernPublished in: KR (1991)
Keyphrases
- epistemic logic
- multi agent
- multi agent systems
- modal logic
- model checking
- dynamic epistemic logic
- inference rules
- computation tree logic
- logical framework
- multi faceted
- cooperative
- mathematical theory
- formal semantics
- autonomous agents
- temporal logic
- reinforcement learning
- model checker
- machine learning
- bounded model checking
- knowledge base