Switch to: References

Add citations

You must login to add citations.
  1. Neighborhood Semantics for Modal Logic.Eric Pacuit - 2017 - Cham, Switzerland: Springer.
    This book offers a state-of-the-art introduction to the basic techniques and results of neighborhood semantics for modal logic. In addition to presenting the relevant technical background, it highlights both the pitfalls and potential uses of neighborhood models – an interesting class of mathematical structures that were originally introduced to provide a semantics for weak systems of modal logic. In addition, the book discusses a broad range of topics, including standard modal logic results ; bisimulations for neighborhood models and other model-theoretic (...)
    Download  
     
    Export citation  
     
    Bookmark   36 citations  
  • Fair division of indivisible items between two players: design parameters for Contested Pile methods. [REVIEW]Rudolf Vetschera & D. Marc Kilgour - 2014 - Theory and Decision 76 (4):547-572.
    Contested Pile methods are two-phase procedures for the fair allocation of indivisible items to two players. In the Generation Phase, items over which the players’ preferences differ widely enough are allocated. “Contested” items are placed in the Contested Pile, which is then allocated in the Splitting Phase. Each phase can be carried out using several different techniques; we perform a comprehensive analysis of the resulting design variants using a computational model. The properties of fairness and efficiency, generally achieved in the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Axiomatizing collective judgment sets in a minimal logical language.Marc Pauly - 2007 - Synthese 158 (2):233-250.
    We investigate under what conditions a given set of collective judgments can arise from a specific voting procedure. In order to answer this question, we introduce a language similar to modal logic for reasoning about judgment aggregation procedures. In this language, the formula expresses that is collectively accepted, or that is a group judgment based on voting. Different judgment aggregation procedures may be underlying the group decision making. Here we investigate majority voting, where holds if a majority of individuals accepts, (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • Trading transforms of non-weighted simple games and integer weights of weighted simple games.Tomomi Matsui & Akihiro Kawana - 2021 - Theory and Decision 93 (1):131-150.
    This study investigates simple games. A fundamental research question in this field is to determine necessary and sufficient conditions for a simple game to be a weighted majority game. Taylor and Zwicker showed that a simple game is non-weighted if and only if there exists a trading transform of finite size. They also provided an upper bound on the size of such a trading transform, if it exists. Gvozdeva and Slinko improved that upper bound; their proof employed a property of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • On the characterization of weighted simple games.Josep Freixas, Marc Freixas & Sascha Kurz - 2017 - Theory and Decision 83 (4):469-498.
    This paper has a twofold scope. The first one is to clarify and put in evidence the isomorphic character of two theories developed in quite different fields: on one side, threshold logic, on the other side, simple games. One of the main purposes in both theories is to determine when a simple game is representable as a weighted game, which allows a very compact and easily comprehensible representation. Deep results were found in threshold logic in the sixties and seventies for (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Political influence in multi-choice institutions: cyclicity, anonymity, and transitivity. [REVIEW]Roland Pongou, Bertrand Tchantcho & Lawrence Diffo Lambo - 2011 - Theory and Decision 70 (2):157-178.
    We study political influence in institutions where each member chooses a level of support for a collective goal. These individual choices determine the degree to which the goal is reached. Influence is assessed by newly defined binary relations, each of which ranks members on the basis of their relative performance at a corresponding level of participation. For institutions with three options (e.g., voting games in which each voter may vote “yes”, “abstain”, or vote “no”), we obtain three influence relations, and (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Characterization of dominance relations in finite coalitional games.Felix Brandt & Paul Harrenstein - 2010 - Theory and Decision 69 (2):233-256.
    McGarvey (Econometrica, 21(4), 608–610, 1953) has shown that any irreflexive and anti-symmetric relation can be obtained as a relation induced by majority rule. We address the analogous issue for dominance relations of finite cooperative games with non-transferable utility (coalitional NTU games). We find any irreflexive relation over a finite set can be obtained as the dominance relation of some finite coalitional NTU game. We also show that any such dominance relation is induced by a non-cooperative game through β-effectivity. Dominance relations (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Achievable Hierarchies In Voting Games.Jane Friedman, Lynn Mcgrath & Cameron Parker - 2006 - Theory and Decision 61 (4):305-318.
    Previous work by Diffo Lambo and Moulen [Theory and Decision 53, 313–325 (2002)] and Felsenthal and Machover [The Measurement of Voting Power, Edward Elgar Publishing Limited (1998)], shows that all swap preserving measures of voting power are ordinally equivalent on any swap robust simple voting game. Swap preserving measures include the Banzhaf, the Shapley–Shubik and other commonly used measures of a priori voting power. In this paper, we completely characterize the achievable hierarchies for any such measure on a swap robust (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Ordinal equivalence of power notions in voting games.Lawrence Diffo Lambo & Joël Moulen - 2002 - Theory and Decision 53 (4):313-325.
    In this paper, we are concerned with the preorderings (SS) and (BC) induced in the set of players of a simple game by the Shapley–Shubik and the Banzhaf–Coleman's indices, respectively. Our main result is a generalization of Tomiyama's 1987 result on ordinal power equivalence in simple games; more precisely, we obtain a characterization of the simple games for which the (SS) and the (BC) preorderings coincide with the desirability preordering (T), a concept introduced by Isbell (1958), and recently reconsidered by (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • A priori voting power : what is it all about?Dan S. Felsenthal & Moshé Machover - unknown
    In this account, we explain the meaning of a priori voting power and outline how it is measured. We distinguish two intuitive notions as to what voting power means, leading to two approaches to measuring it. We discuss some philosophical and pragmatic objections, according to which a priori (as distinct from actual) voting power is worthless or inapplicable.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Monotonicity of power in games with a priori unions.J. M. Alonso-Meijide, C. Bowles, M. J. Holler & S. Napel - 2009 - Theory and Decision 66 (1):17-37.
    Power indices are commonly required to assign at least as much power to a player endowed with some given voting weight as to any player of the same game with smaller weight. This local monotonicity and a related global property however are frequently and for good reasons violated when indices take account of a priori unions amongst subsets of players (reflecting, e.g., ideological proximity). This paper introduces adaptations of the conventional monotonicity notions that are suitable for voting games with an (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • On anonymous and weighted voting systems.Josep Freixas & Montserrat Pons - 2021 - Theory and Decision 91 (4):477-491.
    Many bodies around the world make their decisions through voting systems in which voters have several options and the collective result also has several options. Many of these voting systems are anonymous, i.e., all voters have an identical role in voting. Anonymous simple voting games, a binary vote for voters and a binary collective decision, can be represented by an easy weighted game, i.e., by means of a quota and an identical weight for the voters. Widely used voting systems of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Simple Collective Identity Functions.Murat Ali Çengelci & M. Remzi Sanver - 2010 - Theory and Decision 68 (4):417-443.
    A Collective Identity Function (CIF) is a rule which aggregates personal opinions on whether an individual belongs to a certain identity into a social decision. A simple CIF is one which can be expressed in terms of winning coalitions. We characterize simple CIFs and explore various CIFs of the literature by exploiting their ability of being expressed in terms of winning coalitions. We also use our setting to introduce conditions that ensure the equal treatment of individuals as voters or as (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Hierarchies achievable in simple games.Josep Freixas & Montserrat Pons - 2010 - Theory and Decision 68 (4):393-404.
    A previous work by Friedman et al. (Theory and Decision, 61:305–318, 2006) introduces the concept of a hierarchy of a simple voting game and characterizes which hierarchies, induced by the desirability relation, are achievable in linear games. In this paper, we consider the problem of determining all hierarchies, conserving the ordinal equivalence between the Shapley–Shubik and the Penrose–Banzhaf–Coleman power indices, achievable in simple games. It is proved that only four hierarchies are non-achievable in simple games. Moreover, it is also proved (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Canadian provinces voting power under the 1971 Victoria charter: presentation of detailed calculations.Dan S. Felsenthal - unknown
    Download  
     
    Export citation  
     
    Bookmark