Title :
On classic-like fuzzy modal logics
Author :
Dodo, Adriano ; Marcos, Joao ; Boone Bergamaschi, Flaulles
Author_Institution :
Dept. of Inf. & Appl. Math. (DIMAp), UFRN, Natal, Brazil
Abstract :
In this paper we explore classic-like aspects of Kripke models endowed with a fuzzy accessibility relation and a fuzzy notion of satisfaction, and prove a general completeness result concerning the fuzzy semantics of a generous class of normal modal systems enriched with multiple instances of the axiom of confluence.
Keywords :
fuzzy logic; fuzzy set theory; Kripke models; classic like fuzzy modal logics; fuzzy accessibility relation; fuzzy notion; fuzzy semantics; normal modal systems; Cost accounting;
Conference_Titel :
IFSA World Congress and NAFIPS Annual Meeting (IFSA/NAFIPS), 2013 Joint
Conference_Location :
Edmonton, AB
DOI :
10.1109/IFSA-NAFIPS.2013.6608582
