References of "Kroupa, Tomas"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailModal Extensions of Łukasiewicz Logic for Modeling Coalitional Power
Teheux, Bruno UL; Kroupa, Tomas

in Journal of Logic & Computation (2017), 27(1), 129-154

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 modeling ... [more ▼]

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 modeling 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 paper 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 Łukasiewicz chain. Then we introduce two modal extensions of Łukasiewicz finite-valued logic together with many-valued neighborhood 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. [less ▲]

Detailed reference viewed: 116 (14 UL)
Full Text
Peer Reviewed
See detailA modal logic to reason about degrees of coalitional effectivity
Kroupa, Tomas; Teheux, Bruno UL

in Lauber, Jimmy; Bisgambiglia, Paul-Antoine (Eds.) Rencontres francophones sur la logique floue et ses applications 2014 (2014, November)

We generalize the notion of alpha-effectivity in order to express the degree with which a coalition can enforce a fuzzy-set of outcomes. Then, we introduce a modal extension of Łukasiewicz n+1-valued ... [more ▼]

We generalize the notion of alpha-effectivity in order to express the degree with which a coalition can enforce a fuzzy-set of outcomes. Then, we introduce a modal extension of Łukasiewicz n+1-valued logic together with a complete many-valued neighborhood semantics in order to encode the properties of these many-valued effectivity functions. [less ▲]

Detailed reference viewed: 61 (7 UL)
Full Text
Peer Reviewed
See detailReasoning about coalitional effectivity in modal extension of Lukasiewicz logic
Kroupa, Tomáš; Teheux, Bruno UL

Scientific Conference (2014, July 29)

Detailed reference viewed: 36 (3 UL)