A formal logical systems dealing both with uncertainty (possibility) and vagueness (fuzziness) is investigated. It is many-valued and modal. The system is related to a many-valued tense logic. A completeness theorem is exhibited.
CITATION STYLE
Hájek, P., & Harmancová, D. (1993). A comparative fuzzy modal logic. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 695 LNAI, pp. 27–34). Springer Verlag. https://doi.org/10.1007/3-540-56920-0_5
Mendeley helps you to discover research relevant for your work.