Fuzzy Modal Logics

@article{Mironov2005FuzzyML,
  title={Fuzzy Modal Logics},
  author={A. Mironov},
  journal={Journal of Mathematical Sciences},
  year={2005},
  volume={128},
  pages={3461-3483}
}
  • A. Mironov
  • Published 2005
  • Mathematics
  • Journal of Mathematical Sciences
  • 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. 
    33 Citations
    On fuzzy modal logics S5(L)
    • P. Hájek
    • Computer Science, Mathematics
    • Fuzzy Sets Syst.
    • 2010
    • 38
    A Fuzzy Modal Logic for Fuzzy Transition Systems
    • 4
    On classic-like fuzzy modal logics
    • 1
    A van Benthem Theorem for Fuzzy Modal Logic
    • 8
    • PDF
    Modal Systems Based on Many-valued Logics
    • 7
    • PDF
    Fuzzy Bisimulation for Gödel Modal Logic
    • T. Fan
    • Mathematics, Computer Science
    • IEEE Transactions on Fuzzy Systems
    • 2015
    • 21
    Justification Logics in a Fuzzy Setting
    • 13
    • Highly Influenced
    • PDF
    Lattice-valued modal propositional logic and its completeness
    • 7
    Exploring a Syntactic Notion of Modal Many-Valued Logics
    • 14

    References

    SHOWING 1-10 OF 11 REFERENCES
    Many-valued modal logics
    • M. Fitting
    • Computer Science
    • Fundam. Informaticae
    • 1991
    • 237
    • PDF
    A Comparative Fuzzy Modal Logic
    • 14
    A Modal Analysis of Possibility Theory
    • 68
    A qualitative fuzzy possibilistic logic
    • 50
    • PDF
    Modal Logics for Qualitative Possibility and Beliefs
    • 24
    • PDF
    Many-valued modal logics II
    • 186
    • PDF
    Topoi: The Categorial Analysis of Logic
    • 640
    On Logics of Approximate Reasoning
    • 17
    Model Checking
    • 4,604