Login / Signup
Multilanguage hierarchical logics (or: how we can do without modal logics).
Fausto Giunchiglia
Luciano Serafini
Published in:
CNKBS (1992)
Keyphrases
</>
modal logic
temporal logic
decision procedures
nonmonotonic logics
inference rules
epistemic logic
classical logic
default logic
situation calculus
conditional logic
dynamic logic
nonmonotonic reasoning
action theories
autoepistemic logic
incomplete information
modal operators
special case