Keyphrases
- epistemic logic
- belief base
- belief merging
- logical framework
- belief revision
- modal logic
- possibilistic logic
- model checking
- logical properties
- belief change
- inference rules
- multi agent systems
- multi faceted
- mathematical theory
- dynamic epistemic logic
- merging operators
- knowledge base
- formal semantics
- preference relations
- propositional logic
- model checker
- nonmonotonic reasoning
- minimal change
- temporal logic
- formal verification
- decision problems
- multi agent