Institute of Information Theory and Automation

You are here

Bibliography

Conference Paper (international conference)

Reasoning about Coalitional Effectivity in Modal Extension of Lukasiewicz Logic

Kroupa Tomáš, Teheux B.

: Proceedings of the eleventh conference on logic and the foundations of games and decision theory (LOFT 2014) , Eds: Agotnes T.

: Eleventh Conference on Logic and the Foundations of Game and Decision Theory, (Bergen, NO, 27.07.2014-30.07.2014)

: GAP402/12/1309, GA ČR

: game form, coalition logic, effectivity function

: http://library.utia.cas.cz/separaty/2014/MTR/kroupa-0430202.pdf

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

: BA

2019-01-07 08:39