Fuzzy Modal Logics
Copyright policy )Fuzzy Modal Logics
An approach to the specification of discrete dynamical systems with non-quantative representation of uncertainty in their structure is developed. The main goal of the paper is to construct a logical calculus which can serve as a basis for specification languages for uncertain dynamical systems (fuzzy modal logic). The author considers a semantics of this calculus in the class of fuzzy Kripke models. The main result of the paper is the completeness theorem of a minimal fuzzy modal logic with respect to the class of fuzzy Kripke modelss.
- Russian Academy of Sciences Russian Federation
fuzzy Kripke models, specification of discrete dynamical systems, fuzzy modal logic, uncertainty, Fuzzy logic; logic of vagueness, Modal logic (including the logic of norms), completeness theorem
fuzzy Kripke models, specification of discrete dynamical systems, fuzzy modal logic, uncertainty, Fuzzy logic; logic of vagueness, Modal logic (including the logic of norms), completeness theorem
citations This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).28 popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.Top 10% influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).Top 10% impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.Average
Citations provided by BIP!Popularity provided by BIP!