Negation-Free Modal Logics.

George F. Schumm Roy Edelstein

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

Keyphrases

modal logic
temporal logic
decision procedures
inference rules
epistemic logic
situation calculus
logic programs
horn clauses
classical logic
nonmonotonic logics
conditional logic
special case
deductive databases
default logic
dynamic logic
expert systems