Symbolic model checking for Dynamic Epistemic Logic - S5 and beyond.
Johan van BenthemJan van EijckMalvin GattingerKaile SuPublished in: J. Log. Comput. (2018)
Keyphrases
- symbolic model checking
- dynamic epistemic logic
- epistemic logic
- model checking
- model checker
- temporal logic
- formal verification
- formal specification
- binary decision diagrams
- partial observability
- formal methods
- modal logic
- symbolic representation
- image processing
- description language
- software engineering
- search space