MNiBLoS: A SMT-based solver for continuous t-norm based logics and some of their modal expansions.

Published in: Inf. Sci. (2016)

Keyphrases

modal logic
t norm
nonmonotonic logics
inference rules
expressive power
weighted average
co occurrence
aggregation operators
neuro fuzzy
temporal logic
rule base
fuzzy set theory
membership functions
fuzzy relations
fuzzy sets
fuzzy logic
kripke models