On Modal Logics of Model-Theoretic Relations.

Denis I. Saveliev Ilya Shapirovsky

Published 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