Modal extensions of Lukasiewicz logic for modelling coalitional power

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985556%3A_____%2F17%3A00471671" target="_blank" >RIV/67985556:_____/17:00471671 - isvavai.cz</a>

Výsledek na webu

<a href="http://dx.doi.org/10.1093/logcom/exv081" target="_blank" >http://dx.doi.org/10.1093/logcom/exv081</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1093/logcom/exv081" target="_blank" >10.1093/logcom/exv081</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Modal extensions of Lukasiewicz logic for modelling coalitional power

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

Modal extensions of Lukasiewicz logic for modelling coalitional power

Popis výsledku anglicky

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.

Druh

J_imp - Článek v periodiku v databázi Web of Science

CEP obor

—

OECD FORD obor

10101 - Pure mathematics

Projekt

<a href="/cs/project/GAP402%2F12%2F1309" target="_blank" >GAP402/12/1309: Vícehodnotový přístup k optimům a ekvilibriím v ekonomii</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění

2017

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název periodika

Journal of Logic and Computation

ISSN

0955-792X

e-ISSN

—

Svazek periodika

27

Číslo periodika v rámci svazku

1

Stát vydavatele periodika

GB - Spojené království Velké Británie a Severního Irska

Počet stran výsledku

26

Strana od-do

129-154

Kód UT WoS článku

000397037900006

EID výsledku v databázi Scopus

2-s2.0-85014645540