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.