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 |
|