| bibtype |
C -
Conference Paper (international conference)
|
| ARLID |
0430202 |
| utime |
20240103204454.8 |
| mtime |
20140912235959.9 |
| title
(primary) (eng) |
Reasoning about Coalitional Effectivity in Modal Extension of Lukasiewicz Logic |
| specification |
| page_count |
8 s. |
| media_type |
E |
|
| serial |
| ARLID |
cav_un_epca*0431494 |
| title
|
Proceedings of the eleventh conference on logic and the foundations of games and decision theory (LOFT 2014) |
| publisher |
| place |
Bergen |
| name |
University of Bregen |
| year |
2014 |
|
| editor |
|
|
| keyword |
game form |
| keyword |
coalition logic |
| keyword |
effectivity function |
| author
(primary) |
| ARLID |
cav_un_auth*0101141 |
| name1 |
Kroupa |
| name2 |
Tomáš |
| full_dept (cz) |
Matematická teorie rozhodování |
| full_dept (eng) |
Department of Decision Making Theory |
| department (cz) |
MTR |
| department (eng) |
MTR |
| institution |
UTIA-B |
| full_dept |
Department of Decision Making Theory |
| share |
50 |
| fullinstit |
Ústav teorie informace a automatizace AV ČR, v. v. i. |
|
| author
|
| ARLID |
cav_un_auth*0306052 |
| name1 |
Teheux |
| name2 |
B. |
| country |
LU |
| share |
50 |
|
| source |
|
| cas_special |
| project |
| project_id |
GAP402/12/1309 |
| agency |
GA ČR |
| ARLID |
cav_un_auth*0284931 |
|
| abstract
(eng) |
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. |
| action |
| ARLID |
cav_un_auth*0305106 |
| name |
Eleventh Conference on Logic and the Foundations of Game and Decision Theory |
| place |
Bergen |
| dates |
27.07.2014-30.07.2014 |
| country |
NO |
|
| reportyear |
2015 |
| RIV |
BA |
| num_of_auth |
2 |
| presentation_type |
PO |
| inst_support |
RVO:67985556 |
| permalink |
http://hdl.handle.net/11104/0236090 |
| mrcbC61 |
1 |
| confidential |
S |
| arlyear |
2014 |
| mrcbU63 |
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 |
| mrcbU67 |
Agotnes T. 340 |
|