Number of the records: 1
On Fuzzy Modal Logics S5(C)
- 1.0333783 - ÚI 2011 RIV NL eng J - Journal Article
Hájek, Petr
On Fuzzy Modal Logics S5(C).
Fuzzy Sets and Systems. Roč. 161, č. 18 (2010), s. 2389-2396. ISSN 0165-0114. E-ISSN 1872-6801
R&D Projects: GA ČR GEICC/08/E018
Institutional research plan: CEZ:AV0Z10300504
Keywords : mathematical fuzzy logic * modal logic * S5
Subject RIV: BA - General Mathematics
Impact factor: 1.875, year: 2010
The fuzzy variant S5(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.
Permanent Link: http://hdl.handle.net/11104/0178694
Number of the records: 1