Login / Signup
Rules with parameters in modal logic II.
Emil Jerábek
Published in:
Ann. Pure Appl. Log. (2020)
Keyphrases
</>
modal logic
temporal logic
inference rules
decision procedures
nonmonotonic logics
situation calculus
default logic
conditional logic
epistemic logic
maximum likelihood
threshold values
sequent calculus
prime implicates
dynamic logic
autoepistemic logic
rule sets
model checking
background knowledge