Login / Signup
Rules with parameters in modal logic I
Emil Jerábek
Published in:
CoRR (2013)
Keyphrases
</>
modal logic
temporal logic
inference rules
decision procedures
classical logic
conditional logic
epistemic logic
association rules
situation calculus
maximum likelihood
sequent calculus
prime implicates
threshold values
default logic
modal operators
dynamic logic
explanation based generalization