Login / Signup
Quantified Modal Logic With Rigid Terms.
Giovanna Corsi
Published in:
Math. Log. Q. (1988)
Keyphrases
</>
modal logic
temporal logic
inference rules
decision procedures
three dimensional
conditional logic
situation calculus
autoepistemic logic
explanation based generalization
default logic
epistemic logic
dynamic logic
cooperative
data model
co occurrence
prime implicates