Modal dependence logics: axiomatizations and model-theoretic properties.
Fan YangPublished in: Log. J. IGPL (2017)
Keyphrases
- decision procedures
- model theoretic
- modal logic
- proof theoretic
- temporal logic
- theorem proving
- kripke models
- nonmonotonic logics
- reasoning problems
- inference rules
- automated reasoning
- proof procedure
- deductive databases
- description logics
- fixpoint
- classical logic
- databases
- operational semantics
- situation calculus
- conjunctive queries
- logic programs
- machine learning