Classically Complete Modal Relevant Logics.

Published in: Math. Log. Q. (1993)

Keyphrases

modal logic
propositional variables
nonmonotonic logics
expressive power
database
inference rules
temporal logic
epistemic logic
closely related
propositional calculus
propositional logic
model checking
logic programming
data model
relational databases
machine learning
databases