Many-Valued and Annotated Modal Logics.

Seiki Akama Jair Minoro Abe

Published in: ISMVL (1998)

Keyphrases

modal logic
temporal logic
inference rules
decision procedures
classical logic
nonmonotonic logics
epistemic logic
situation calculus
default logic
autoepistemic logic
artificial intelligence
expert systems
data model
dynamic programming
satisfiability problem