A modal logic to reason about degrees of coalitional effectivity


Nous généralisons la notion d'?-efficience dans le but d'exprimer le degré avec lequel une coalition peut imposer un ensemble flou d'états. Ensuite, nous introduisons une extension modale de la logique n+1-valuée de ?UKASIEWICZ ainsi qu'une sémantique de voisinages complète qui permet de capturer les propriétés de ces fonctions d'efficience multi-valuées. We generalize the notion of ?-effectivity in order to express the degree with which a coalition can enforce a fuzzy-set of outcomes. Then, we introduce a modal extension of ?UKASIEWICZ n + 1-valued logic together with a complete many-valued neighborhood semantics in order to encode the properties of these many-valued effectivity functions.