Title of article :
On fuzzy modal logics
Author/Authors :
Hلjek، نويسنده , , Petr، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2010
Abstract :
The fuzzy variant S 5 ( C ) of the well-known modal logic S5 is studied, C being a recursively axiomatized fuzzy propositional logic extending the basic fuzzy logic BL. Three kinds of Kripke models are introduced and corresponding deductive systems are found.
Keywords :
S5 , Mathematical fuzzy logic , Modal logic
Journal title :
FUZZY SETS AND SYSTEMS
Journal title :
FUZZY SETS AND SYSTEMS
