Abstract | ||
---|---|---|
In this paper we present completeness results of several fuzzy logics trying to capture different notions of necessity (in the sense of Possibility theory) for Gödel logic formulas. In a first attempt, based on different characterizations of necessity measures on fuzzy sets, a group of logics, with Kripke style semantics, are built over a restricted language, indeed a two level language composed of non-modal and modal formulas, the latter moreover not allowing for nested applications of the modal operator N . Besides, a full fuzzy modal logic for graded necessity over Gödel logic is also introduced together with an algebraic semantics, the class of NG-algebras. |
Year | DOI | Venue |
---|---|---|
2009 | 10.1007/978-3-642-02906-6_79 | ECSQARU |
Keywords | Field | DocType |
del logic,fuzzy set,modal formula,kripke style semantics,full fuzzy modal logic,logic formula,fuzzy logic,possibilistic logic,exploring extensions,algebraic semantics,graded necessity,modal operator,necessity measure,possibility theory,modal logic | T-norm fuzzy logics,Discrete mathematics,Kripke semantics,Normal modal logic,Accessibility relation,Computer science,Multimodal logic,Modal logic,Dynamic logic (modal logic),Intermediate logic | Conference |
Volume | ISSN | Citations |
5590 | 0302-9743 | 2 |
PageRank | References | Authors |
0.41 | 15 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Pilar Dellunde | 1 | 156 | 22.63 |
Lluís Godo | 2 | 888 | 56.28 |
Enrico Marchioni | 3 | 114 | 12.96 |