Počet záznamů: 1
Modal extensions of Lukasiewicz logic for modelling coalitional power
- 1.
SYSNO ASEP 0471671 Druh ASEP J - Článek v odborném periodiku Zařazení RIV J - Článek v odborném periodiku Poddruh J Článek ve WOS Název Modal extensions of Lukasiewicz logic for modelling coalitional power Tvůrce(i) Kroupa, Tomáš (UTIA-B) RID
Teheux, B. (LU)Celkový počet autorů 2 Zdroj.dok. Journal of Logic and Computation - ISSN 0955-792X
Roč. 27, č. 1 (2017), s. 129-154Poč.str. 26 s. Forma vydání Tištěná - P Jazyk dok. eng - angličtina Země vyd. GB - Velká Británie Klíč. slova Coalition Logic ; Lukasiewicz modal logic ; effectivity function Vědní obor RIV BA - Obecná matematika Obor OECD Pure mathematics CEP GAP402/12/1309 GA ČR - Grantová agentura ČR Institucionální podpora UTIA-B - RVO:67985556 UT WOS 000397037900006 EID SCOPUS 85014645540 DOI https://doi.org/10.1093/logcom/exv081 Anotace 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 modelling 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 article, 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 Lukasiewicz chain. Then we introduce two modal extensions of Lukasiewicz finite-valued logic together with many-valued neighbourhood 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. Pracoviště Ústav teorie informace a automatizace Kontakt Markéta Votavová, votavova@utia.cas.cz, Tel.: 266 052 201. Rok sběru 2018
Počet záznamů: 1