The completeness of monotonic modal logics.

Brian F. Chellas Audrey McKinney

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

Keyphrases

modal logic
temporal logic
decision procedures
inference rules
classical logic
nonmonotonic logics
epistemic logic
situation calculus
default logic
data quality
autoepistemic logic
reinforcement learning
defeasible logic
conditional logic
dynamic logic