In the paper we introduce formal calculi which are a generalization of propositional modal logics. These calculi are called fuzzy modal logics. We introduce the concept of a fuzzy Kripke model and consider a semantics of these calculi in the class of fuzzy Kripke models. The main result of the paper is the completeness theorem of a minimal fuzzy modal logic in the class of fuzzy Kripke models.
This is a preview of subscription content, access via your institution.
Buy single article
Instant access to the full article PDF.
Tax calculation will be finalised during checkout.
R. Goldblatt, Topoi. The Categorial Analysis of Logic, Studies in Logic and the Foundation of Mathematics, Vol. 98, North-Holland, Amsterdam-New York-Oxford (1979).
E. M. Clarke, O. Grumberg, and D. Peled, Model Checking, MIT Press (1999).
K. Bendova and P. Hajek, “Possibilistic logic as a tense logic,” in: Proceedings of QUARDET’93, Barcelona (1993).
C. Boutilier, “Modal logics for qualitative possibility and beliefs,” in: Uncertainty in Artificial Intelligence VIII (D. Dubois et al., Eds.), Morgan Kaufmann (1992), pp. 17–24.
D. Dubois, J. Lang, and H. Prade, “Possibilistic logic,” in: Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 3: Nonmonotonic Reasoning and Uncertain Reasoning (D. M. Gabbay, C. J. Hogger, and J. A. Robinson, Eds.), Oxford Univ. Press (1994), pp. 439–513.
Farinas del L. Cerro and A. Herzig, “A modal analysis of possibility theory,” in: Symbolic and Qualitative Approaches to Uncertainty, Lecture Notes in Comput. Sci., Vol. 548 (R. Kruse and P. Siegel, Eds.), Springer, Berlin (1991), pp. 58–62.
M. Fitting, “Many-valued modal logics,” Fund. Inform., 15, 235–254 (1992).
M. Fitting, “Many-valued modal logics. II,” Fund. Inform., 17, 55–73 (1992).
L. Godo and R. Lopez de Mantaras, “Fuzzy logic,” in: Encyclopaedia of Computer Science (1993).
P. Hajek P., “On logics of approximate reasoning,” Neural Network Word, 6, 733–744 (1993).
P. Hajek and D. Harmancova, “A comparative fuzzy modal logic,” in: Fuzzy Logic in Artificial Intelligence (E. P. Klement and W. Slany, Eds.), Springer, Berlin (1993), pp. 27–34.
P. Hajek, D. Harmancova, F. Esteva, P. Garcia, and L. Godo, “On modal logics for qualitative possibility in a fuzzy setting,” in: Uncertainty in Artificial Intelligence: Proceedings of the Tenth Conference (R. Lopez de Mantaras and D. Poole, Eds.), Seattle, WA (1994).
P. Hajek, D. Harmancova, and R. Verbrugge, “A qualitative fuzzy possibilistic logic,” Int. J. Approx. Reasoning, North-Holland, 12, 1–19 (1995).
P. Ostermann, “Many-valued modal propositional calculi,” Z. Math. Logik Grundlag. Math., 34, 343–354 (1988).
Translated from Fundamentalnaya i Prikladnaya Matematika, Vol. 9, No. 1, pp. 201–230, 2003.
About this article
Cite this article
Mironov, A.M. Fuzzy Modal Logics. J Math Sci 128, 3461–3483 (2005). https://doi.org/10.1007/s10958-005-0281-1
- Modal Logic
- Kripke Model
- Completeness Theorem
- Formal Calculus
- Propositional Modal Logic