Abstract | ||
---|---|---|
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 is 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. |
Year | DOI | Venue |
---|---|---|
2011 | 10.1016/j.ijar.2010.08.014 | Int. J. Approx. Reasoning |
Keywords | Field | DocType |
gödel logic,fuzzy set,modal formula,possibilistic logic,different notion,restricted language,godel logic formula,different characterization,two-level language,fuzzy logic,necessity measures,modal operator,necessity measure,possibility theory,computational complexity | T-norm fuzzy logics,Discrete mathematics,Normal modal logic,Kripke semantics,Accessibility relation,Algebra,Multimodal logic,Modal logic,Artificial intelligence,Mathematics,Intermediate logic,S5 | Journal |
Volume | Issue | ISSN |
52 | 1 | International Journal of Approximate Reasoning |
Citations | PageRank | References |
5 | 0.50 | 20 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Pilar Dellunde | 1 | 156 | 22.63 |
Lluís Godo | 2 | 888 | 56.28 |
Enrico Marchioni | 3 | 114 | 12.96 |