Complexity results for modal logic with recursion via translations and tableaux.
Luca AcetoAntonis AchilleosElli AnastasiadiAdrian FrancalanzaAnna IngólfsdóttirPublished in: CoRR (2023)
Keyphrases
- modal logic
- temporal logic
- decision procedures
- inference rules
- epistemic logic
- nonmonotonic logics
- conditional logic
- classical logic
- situation calculus
- decision problems
- explanation based generalization
- model checking
- default logic
- autoepistemic logic
- prime implicates
- complex objects
- higher order
- worst case
- probability distribution
- modal operators
- expert systems