Term-Sequence-Modal Logics.

Takahiro Sawasaki Katsuhiko Sano Tomoyuki Yamada

Published in: LORI (2019)

Keyphrases

modal logic
temporal logic
decision procedures
inference rules
nonmonotonic logics
epistemic logic
classical logic
artificial intelligence
default logic
sequent calculus
autoepistemic logic
situation calculus
expert systems
dynamic logic
conditional logic
probability distribution
cooperative