: Epistemic Logic with Agents that May Die.
Eric GoubaultJérémy LedentSergio RajsbaumPublished in: CoRR (2021)
Keyphrases
- epistemic logic
- multi agent systems
- modal logic
- model checking
- logical framework
- dynamic epistemic logic
- inference rules
- multi faceted
- formal semantics
- computation tree logic
- mathematical theory
- model checker
- belief revision
- knowledge based systems
- multiple agents
- decision theoretic
- formal specification
- formal verification
- temporal logic
- cooperative