Persistence and minimality in epistemic logic.
Wiebe van der HoekJan JasparsElias ThijssePublished in: Ann. Math. Artif. Intell. (1999)
Keyphrases
- epistemic logic
- model checking
- modal logic
- multi agent systems
- logical framework
- dynamic epistemic logic
- inference rules
- multi faceted
- partial order
- formal semantics
- computation tree logic
- temporal logic
- belief change
- mathematical theory
- orders of magnitude
- model checker
- cooperative
- formal verification
- rough sets
- multi agent
- artificial intelligence