In this paper we present several fuzzy logics trying to capture different notions of necessity (in the sense of Possibility theory) for Godel logic formulas. Based on different characterizations of necessity measures on fuzzy sets, a group of logics with Kripke style semantics are built over a restricted language, namely a two level language composed of non-modal and modal formulas, the latter moreover not allowing for nested applications of the modal operator N. Completeness and some computational complexity results are shown.
Links:
[1] http://www.iiia.csic.es/en/individual/pilar-dellunde
[2] http://www.iiia.csic.es/en/individual/lluis-godo
[3] http://www.iiia.csic.es/en/individual/enrico-marchioni-2
[4] http://www.iiia.csic.es/en/publications/keyword/Posibilistic Logic
[5] http://www.iiia.csic.es/en/publications/keyword/Necessity Measures
[6] http://www.iiia.csic.es/en/publications/keyword/Godel Logic
[7] http://www.iiia.csic.es/en/publications/keyword/Fuzzy Logic
[8] http://www.iiia.csic.es/en/publications/export/tagged/3854
[9] http://www.iiia.csic.es/en/publications/export/xml/3854
[10] http://www.iiia.csic.es/en/publications/export/bib/3854
[11] http://www.iiia.csic.es/en/project/arinf
[12] http://www.iiia.csic.es/en/project/at
[13] http://www.iiia.csic.es/en/project/locomotion-0
[14] http://www.iiia.csic.es/en/project/mulog-2
[15] http://www.iiia.csic.es/en/project/sgr2009