0430202 20240103204454.820140912235959.9 8 s. E cav_un_epca*0431494BergenUniversity of Bregen2014AgotnesT. game form coalition logic effectivity function cav_un_auth*0101141 Kroupa Tomáš Matematická teorie rozhodování Department of Decision Making Theory MTR MTR UTIA-B Department of Decision Making Theory 50 Ústav teorie informace a automatizace AV ČR, v. v. i. cav_un_auth*0306052 Teheux B. LU 50 http://library.utia.cas.cz/separaty/2014/MTR/kroupa-0430202.pdf GAP402/12/1309 GA ČR cav_un_auth*0284931 We generalize the notion of alpha-effectivity existing in the context of game forms to deal with situations in which a coalition can enforce a fuzzy set of outcomes. Then we introduce a modal extension of Łukasiewicz finite-valued logic together with a many-valued neighborhood semantic in order to encode the properties of the many-valued effectivity functions arising from strategic game forms. We prove completeness theorem for the studied logic. cav_un_auth*0305106 Eleventh Conference on Logic and the Foundations of Game and Decision Theory Bergen 27.07.2014-30.07.2014 NO 2015 BA 2 PO RVO:67985556 http://hdl.handle.net/11104/0236090 1 S 2014 cav_un_epca*0431494 Proceedings of the eleventh conference on logic and the foundations of games and decision theory (LOFT 2014) Bergen University of Bregen 2014 Agotnes T. 340