Login / Signup
Modality, Si! Modal Logic, No!
John McCarthy
Published in:
Stud Logica (1997)
Keyphrases
</>
modal logic
temporal logic
multi modal
decision procedures
inference rules
medical images
epistemic logic
nonmonotonic logics
situation calculus
default logic
conditional logic
classical logic
prime implicates
model checking
autoepistemic logic
cooperative
dynamic logic
artificial intelligence
belief revision