Strong Noncontingency: On the Modal Logics of an Operator Expressively Weaker Than Necessity.

Published in: Notre Dame J. Formal Log. (2019)

Keyphrases

modal logic
temporal logic
decision procedures
modal operators
model checking
inference rules
nonmonotonic logics
default logic
classical logic
epistemic logic
satisfiability problem
situation calculus
theorem proving
conditional logic
dynamic logic
artificial intelligence
belief revision
reinforcement learning