Reference : Modal Extensions of Łukasiewicz Logic for Modeling Coalitional Power
Scientific journals : Article
Physical, chemical, mathematical & earth Sciences : Mathematics
http://hdl.handle.net/10993/22336
Modal Extensions of Łukasiewicz Logic for Modeling Coalitional Power
English
Teheux, Bruno mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Mathematics Research Unit >]
Kroupa, Tomas [University of Milan > Departement of Mathematics]
2017
Journal of Logic & Computation
27
1
129-154
Yes
International
0955-792X
1465-363X
[en] Coalition logic ; Łukasiewicz modal logic ; neighborhood semantics ; effectivity function ; game form
[en] Modal logics for reasoning about the power of coalitions capture the notion of effectivity functions associated with game forms. The main goal of coalition logics is to provide formal tools for modeling the dynamics of a game frame whose states may correspond to different game forms. The two classes of effectivity functions studied are the families of playable and truly playable effectivity functions, respectively. In this paper we generalize the concept of effectivity function beyond the yes/no truth scale. This enables us to describe the situations in which the coalitions assess their effectivity in degrees, based on functions over the outcomes taking values in a finite Łukasiewicz chain. Then we introduce two modal extensions of Łukasiewicz finite-valued logic together with many-valued neighborhood semantics in order to encode the properties of many-valued effectivity functions associated with game forms. As our main results we prove completeness theorems for the two newly introduced modal logics.
Researchers
http://hdl.handle.net/10993/22336
10.1093/logcom/exv081

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
EffectivityKroupaTeheux-FINAL.pdfAuthor postprint206.57 kBView/Open
Limited access
Kroupa Teheux - JLC.pdfPublisher postprint277.85 kBRequest a copy

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.