Login / Signup
Autoepistemic Modal Logics.
Grigori F. Shvarts
Published in:
TARK (1990)
Keyphrases
</>
modal logic
autoepistemic logic
temporal logic
decision procedures
inference rules
default logic
epistemic logic
nonmonotonic logics
classical logic
situation calculus
artificial intelligence
multi agent
np complete