Canonicity and Completeness Results for Many-Valued Modal Logics.

Costas D. Koutras Christos Nomikos Pavlos Peppas

Published in: J. Appl. Non Class. Logics (2002)

Keyphrases

modal logic
temporal logic
inference rules
decision procedures
epistemic logic
classical logic
nonmonotonic logics
default logic
situation calculus
autoepistemic logic
model checking
data quality
cooperative
special case
satisfiability problem
truth values