4DL: a four-valued dynamic logic and its proof theory.
Diana CostaPublished in: J. Log. Comput. (2023)
Keyphrases
- dynamic logic
- proof theory
- reasoning problems
- description logics
- modal logic
- decision procedures
- default reasoning
- automated reasoning
- modal operators
- computational properties
- expressive power
- reasoning about actions
- propositional dynamic logic
- first order logic
- imperative programs
- knowledge base
- reasoning tasks
- dl lite
- machine learning
- default logic
- temporal logic
- graphical models
- artificial intelligence
- ontology languages
- inference rules
- computational complexity