FUNDAMENTALNAYA I PRIKLADNAYA MATEMATIKA

(FUNDAMENTAL AND APPLIED MATHEMATICS)

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

Fuzzy modal logics

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.

Location: http://mech.math.msu.su/~fpm/eng/k03/k031/k03112h.htm
Last modified: April 4, 2004.