FUNDAMENTALNAYA
I PRIKLADNAYA MATEMATIKA

(FUNDAMENTAL AND APPLIED MATHEMATICS)

2003, VOLUME 9, NUMBER 1, PAGES 201-230

A. M. Mironov

Abstract

View as HTML
View as gif image

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.

Main page | Contents of the journal | News | Search |

Location: http://mech.math.msu.su/~fpm/eng/k03/k031/k03112h.htm

Last modified: April 4, 2004.