Two-layer modal logics: from fuzzy logics to a general framework.

Petr Cintula Carles Noguera

Published in: TACL (2013)

Keyphrases

modal logic
decision procedures
temporal logic
inference rules
classical logic
fuzzy sets
nonmonotonic logics
fuzzy logic
epistemic logic
membership functions
conditional logic
situation calculus
fuzzy numbers
default logic
fuzzy rules
dynamic logic
artificial intelligence
valued logic
kripke models