Complexity through Translations for Modal Logic with Recursion.
Luca AcetoAntonis AchilleosElli AnastasiadiAdrian FrancalanzaAnna IngólfsdóttirPublished in: GandALF (2022)
Keyphrases
- modal logic
- temporal logic
- decision procedures
- inference rules
- epistemic logic
- conditional logic
- classical logic
- model checking
- nonmonotonic logics
- default logic
- worst case
- autoepistemic logic
- machine translation
- computational complexity
- dynamic logic
- prime implicates
- belief change
- deductive databases
- complex objects
- fixed point
- modal operators