Login / Signup
The Modal Logic of Discrepancy.
Charles B. Cross
Published in:
J. Philos. Log. (1997)
Keyphrases
</>
modal logic
temporal logic
decision procedures
inference rules
classical logic
epistemic logic
nonmonotonic logics
situation calculus
conditional logic
prime implicates
default logic
higher order
model checking
state space
natural language
reinforcement learning
dynamic logic
machine learning