Login / Signup
Rules with parameters in modal logic I.
Emil Jerábek
Published in:
Ann. Pure Appl. Log. (2015)
Keyphrases
</>
modal logic
temporal logic
inference rules
decision procedures
classical logic
situation calculus
default logic
association rules
epistemic logic
nonmonotonic logics
maximum likelihood
conditional logic
artificial intelligence
prime implicates
autoepistemic logic
rule sets
model checking
reinforcement learning