On the Relative Succinctness of Two Extensions by Definitions of Multimodal Logic.
Wiebe van der HoekPetar IlievBarteld P. KooiPublished in: CiE (2012)
Keyphrases
- modal logic
- default logic
- multi modal
- classical logic
- default theories
- fixed point semantics
- knowledge representation formalisms
- temporal logic
- logic programming
- epistemic logic
- multi valued
- computational properties
- case study
- brain image analysis
- audio visual
- nonmonotonic logics
- autoepistemic logic
- modal operators
- asynchronous circuits
- sound and complete axiomatization
- real time