Bounded Properties in Modal Logic.

George F. Schumm

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

Keyphrases

modal logic
temporal logic
decision procedures
inference rules
default logic
classical logic
conditional logic
explanation based generalization
nonmonotonic logics
epistemic logic
kripke models
autoepistemic logic
modal operators
multi agent
relational databases