Skip to main content
Springer Nature Link
Log in

Fuzzy Modal Logics

  • Published:
Journal of Mathematical Sciences Aims and scope Submit manuscript

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, log in via an institution to check access.

Access this article

Log in via an institution

Subscribe and save

Springer+ Basic
€34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price includes VAT (Germany)

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

Explore related subjects

Discover the latest articles and news from researchers in related subjects, suggested using machine learning.

REFERENCES

  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. E. M. Clarke, O. Grumberg, and D. Peled, Model Checking, MIT Press (1999).

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

  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. 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. 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. M. Fitting, “Many-valued modal logics,” Fund. Inform., 15, 235–254 (1992).

    Google Scholar 

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

    Google Scholar 

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

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

    Google Scholar 

  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. 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. 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. P. Ostermann, “Many-valued modal propositional calculi,” Z. Math. Logik Grundlag. Math., 34, 343–354 (1988).

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Artificial Intelligence Research Center, Institute of Software Systems, Russian Academy of Sciences, Russia

    A. M. Mironov

Authors
  1. A. M. Mironov
    View author publications

    You can also search for this author inPubMed Google Scholar

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

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10958-005-0281-1

Keywords