Skip to main content

Fuzzy Modal Logics

Abstract

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.

REFERENCES

  1. 1.

    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).

    Google Scholar 

  2. 2.

    E. M. Clarke, O. Grumberg, and D. Peled, Model Checking, MIT Press (1999).

  3. 3.

    K. Bendova and P. Hajek, “Possibilistic logic as a tense logic,” in: Proceedings of QUARDET’93, Barcelona (1993).

  4. 4.

    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.

  5. 5.

    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.

  6. 6.

    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.

    Google Scholar 

  7. 7.

    M. Fitting, “Many-valued modal logics,” Fund. Inform., 15, 235–254 (1992).

    Google Scholar 

  8. 8.

    M. Fitting, “Many-valued modal logics. II,” Fund. Inform., 17, 55–73 (1992).

    Google Scholar 

  9. 9.

    L. Godo and R. Lopez de Mantaras, “Fuzzy logic,” in: Encyclopaedia of Computer Science (1993).

  10. 10.

    P. Hajek P., “On logics of approximate reasoning,” Neural Network Word, 6, 733–744 (1993).

    Google Scholar 

  11. 11.

    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.

    Google Scholar 

  12. 12.

    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).

  13. 13.

    P. Hajek, D. Harmancova, and R. Verbrugge, “A qualitative fuzzy possibilistic logic,” Int. J. Approx. Reasoning, North-Holland, 12, 1–19 (1995).

    Article  Google Scholar 

  14. 14.

    P. Ostermann, “Many-valued modal propositional calculi,” Z. Math. Logik Grundlag. Math., 34, 343–354 (1988).

    Google Scholar 

Download references

Author information

Affiliations

Authors

Additional information

__________

Translated from Fundamentalnaya i Prikladnaya Matematika, Vol. 9, No. 1, pp. 201–230, 2003.

Rights and permissions

Reprints and Permissions

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

Download citation

Keywords

  • Modal Logic
  • Kripke Model
  • Completeness Theorem
  • Formal Calculus
  • Propositional Modal Logic