Login / Signup
On fuzzy modal logics S5(L).
Petr Hájek
Published in:
Fuzzy Sets Syst. (2010)
Keyphrases
</>
modal logic
temporal logic
decision procedures
inference rules
fuzzy sets
nonmonotonic logics
fuzzy logic
membership functions
epistemic logic
model checking
fuzzy numbers
situation calculus
classical logic
dynamic logic
fuzzy set theory
default logic
fuzzy clustering
theorem prover
rough sets
knowledge base
artificial intelligence