On Modal Logics of Model-Theoretic Relations.
Denis I. SavelievIlya ShapirovskyPublished in: Stud Logica (2020)
Keyphrases
- decision procedures
- model theoretic
- modal logic
- proof theoretic
- autoepistemic logic
- temporal logic
- theorem proving
- inference rules
- automated reasoning
- situation calculus
- default logic
- classical logic
- default reasoning
- conjunctive queries
- description logics
- deductive databases
- satisfiability problem
- nonmonotonic logics
- artificial intelligence
- action theories
- operational semantics
- query language
- probabilistic model
- relational databases
- database
- multi agent
- logic programs