English
Related papers

Related papers: A New Game Equivalence and its Modal Logic

200 papers

Effectivity functions are the basic formalism for investigating the semantics game logic. We discuss algebraic properties of stochastic effectivity functions, in particular the relationship to stochastic relations, morphisms and congruences…

Logic in Computer Science · Computer Science 2014-04-01 Ernst-Erich Doberkat

We address the question of when quantum entanglement is a useful resource for information processing tasks by presenting a new class of nonlocal games that are simple, direct, generalizations of the Clauser Horne Shimony Holt game. For some…

Quantum Physics · Physics 2010-11-30 Thomas Lawson , Noah Linden , Sandu Popescu

The fundamental laws of quantum world upsets the logical foundation of classic physics. They are completely counter-intuitive with many bizarre behaviors. However, this paper shows that they may make sense from the perspective of a general…

Computer Science and Game Theory · Computer Science 2009-12-02 Xiaofei Huang

Estimating discrete games of complete information is often computationally difficult due to partial identification and the absence of closed-form moment characterizations. This paper proposes computationally tractable approaches to…

Econometrics · Economics 2025-10-02 Paul S. Koh

Strategic-form min-max game theory examines the existence, multiplicity, selection of equilibria, and the worst-case computational complexity under perfect rationality. However, in many applications, games are drawn from an ensemble, and…

Computer Science and Game Theory · Computer Science 2026-02-17 Yuma Ichikawa

This book summarizes ongoing research introducing probability space isomorphic mappings into the strategy spaces of game theory. This approach is motivated by discrepancies between probability theory and game theory when applied to the same…

Computer Science and Game Theory · Computer Science 2013-04-23 Michael J Gagen

Group polarization, the phenomenon where individuals become more extreme after interacting, has been gaining attention, especially with the rise of social media shaping people's opinions. Recent interest has emerged in formal reasoning…

Logic in Computer Science · Computer Science 2024-05-03 Robert Freiman , Carlos Olarte , Elaine Pimentel , Christian G. Fermüller

Utilitarian games such as dictator games to measure fairness have been studied in the social sciences for decades. These games have given us insight into not only how humans view fairness but also in what conditions the frequency of…

Artificial Intelligence · Computer Science 2024-02-12 Jazmia Henry

First-order game logic GL and the first-order modal mu-calculus Lmu are proved to be equiexpressive and equivalent, thereby fully aligning their expressive and deductive power. That is, there is a semantics-preserving translation from GL to…

Logic in Computer Science · Computer Science 2025-04-07 Noah Abou El Wafa , André Platzer

In this paper we introduce a novel flow representation for finite games in strategic form. This representation allows us to develop a canonical direct sum decomposition of an arbitrary game into three components, which we refer to as the…

Computer Science and Game Theory · Computer Science 2015-03-17 Ozan Candogan , Ishai Menache , Asuman Ozdaglar , Pablo A. Parrilo

We use a novel type of epistemic logic, employing comparative knowledge assertions, to analyze the relative epistemic powers of individuals or groups of agents. Such comparative assertions can express that a group has the potential to…

Logic in Computer Science · Computer Science 2025-12-09 Baltag Alexandru , Smets Sonja

We study the underlying mathematical properties of various partial order models of concurrency based on transition systems, Petri nets, and event structures, and show that the concurrent behaviour of these systems can be captured in a…

Logic in Computer Science · Computer Science 2010-11-05 Julian Gutierrez

In this note, we prove the existence of an equilibrium concept, dubbed conditional strategy equilibrium, for non-cooperative games in which a strategy of a player is a function from the other players' actions to her own actions. We study…

Theoretical Economics · Economics 2022-05-09 Lorenzo Bastianello , Mehmet S. Ismail

In Combinatorial Game Theory, the fundamental relation of game equivalence, denoted by $=$, is introduced early on and overrides the notion of set equality. We explore what happens if set equality is given its due before game equivalence is…

Combinatorics · Mathematics 2020-09-04 Michael J. J. Barry

In this tutorial, the basics of game theory are introduced along with an overview of its most recent and emerging applications in signal processing. One of the main features of this contribution is to gather in a single paper some…

Computer Science and Game Theory · Computer Science 2015-07-06 Giacomo Bacci , Samson Lasaulce , Walid Saad , Luca Sanguinetti

In quantum game theory, one of the most intriguing and important questions is, "Is it possible to get quantum advantages without any modification of the classical game?" The answer to this question so far has largely been negative. So far,…

Quantum Physics · Physics 2016-02-16 Jeongho Bang , Junghee Ryu , Marcin Pawłowski , B. S. Ham , Jinhyoung Lee

Games have long been a microcosm for studying planning and reasoning in both natural and artificial intelligence, especially with a focus on expert-level or even super-human play. But real life also pushes human intelligence along a…

Behavioral experiments on the Ultimatum Game have shown that we human beings have remarkable preference in fair play, contradicting the predictions by the game theory. Most of the existing models seeking for explanations, however, strictly…

Populations and Evolution · Quantitative Biology 2022-12-07 Guozhong Zheng , Jiqiang Zhang , Rizhou Liang , Lin Ma , Li Chen

The game dynamical equations are derived from Boltzmann-like equations for individual pair interactions by assuming a certain kind of imitation behavior, the so-called proportional imitation rule. They can be extended to a stochastic…

Statistical Mechanics · Physics 2007-05-23 Dirk Helbing

Game theory is a well established branch of mathematics whose formalism has a vast range of applications from the social sciences, biology, to economics. Motivated by quantum information science, there has been a leap in the formulation of…