Many-Valued Non-Monotonic Modal Logics.

Published in: LFCS (1992)

Keyphrases

modal logic
temporal logic
decision procedures
inference rules
classical logic
epistemic logic
nonmonotonic logics
model checking
situation calculus
truth values
multi agent
natural language
np hard
np complete
autoepistemic logic
modal operators