|
Fundamentalnaya i Prikladnaya Matematika, 2003, Volume 9, Issue 1, Pages 201–230
(Mi fpm719)
|
|
|
|
This article is cited in 22 scientific papers (total in 22 papers)
Fuzzy modal logics
A. M. Mironov Program Systems Institute of RAS
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.
Citation:
A. M. Mironov, “Fuzzy modal logics”, Fundam. Prikl. Mat., 9:1 (2003), 201–230; J. Math. Sci., 128:6 (2005), 3461–3483
Linking options:
https://www.mathnet.ru/eng/fpm719 https://www.mathnet.ru/eng/fpm/v9/i1/p201
|
Statistics & downloads: |
Abstract page: | 633 | Full-text PDF : | 259 | References: | 56 | First page: | 2 |
|