4 citations · 9 across the 6 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
math.LO2014
Modal Extensions of Łukasiewicz Logic for Modeling Coalitional Power
Tomáš Kroupa, Bruno Teheux
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 for…
math.CO2014★ 1 cited
Core-based criterion for extreme supermodular functions
M. Studený, T. Kroupa
We give a necessary and sufficient condition for extremality of a supermodular function based on its min-representation by means of (vertices of) the corresponding core polytope. T…