Results 11 to 20 of about 3,473 (262)
Game semantics for first-order logic [PDF]
Logical Methods in Computer Science, 2010 We refine HO/N game semantics with an additional notion of pointer (mu-pointers) and extend it to first-order classical logic with completeness results.
Olivier Laurent
doaj +1 more source
Sustainable Optimal Control for Switched Pollution-Control Problem with Random Duration
Entropy, 2023 Considering the uncertainty of game duration and periodic seasonal fluctuation, an n-player switched pollution-control differential game is modeled to investigate a sustainable and adaptive strategy for players.
Yilun Wu, Anna Tur, Hongbo Wang
doaj +1 more source
Symbolic Representation of Algorithmic Game Semantics [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 In this paper we revisit the regular-language representation of game semantics of second-order recursion free Idealized Algol with infinite data types.
Aleksandar S. Dimovski
doaj +1 more source
Games, 2021 Risk aversion in game theory is usually modeled using expected utility, which was criticized early on, leading to an extensive literature on generalized expected utility.
Uwe Dulleck, Andreas Löffler
doaj +1 more source
Competition-Independence Game and Domination Game
Mathematics, 2020 The domination game is played on a graph by two players, Dominator and Staller, who alternately choose a vertex of G. Dominator aims to finish the game in as few turns as possible while Staller aims to finish the game in as many turns as possible.
Chalermpong Worawannotai +1 more
doaj +1 more source
On the Nash Equilibria of a Duel with Terminal Payoffs
Games, 2023 We formulate and study a two-player duel game as a terminal payoffs stochastic game. Players P1,P2 are standing in place and, in every turn, each may shoot at the other (in other words, abstention is allowed).
Athanasios Kehagias
doaj +1 more source
Games for Topological Fixpoint Logic [PDF]
Electronic Proceedings in Theoretical Computer Science, 2016 Topological fixpoint logics are a family of logics that admits topological models and where the fixpoint operators are defined with respect to the topological interpretations.
Nick Bezhanishvili, Clemens Kupke
doaj +1 more source
Games, 2021 We introduce a non-cooperative game model in which players’ decision nodes are partially ordered by a dependence relation, which directly captures informational dependencies in the game. In saying that a decision node v is dependent on decision nodes v1,…
Valeria Zahoransky +3 more
doaj +1 more source
Germeier’s Scalarization for Approximating Solution of Multicriteria Matrix Games
Mathematics, 2022 In this paper, we study the properties of Germeier’s scalarization applied for solving multicriteria games. The equilibria and the equilibrium values of such games, as a rule, make sets, and the problems of parametrizing and approximating these sets ...
Natalia Novikova, Irina Pospelova
doaj +1 more source
Quantum Tapsilou—A Quantum Game Inspired by the Traditional Greek Coin Tossing Game Tapsilou
Games, 2023 This paper introduces a new quantum game called Quantum Tapsilou that is inspired by the classical traditional Greek coin tossing game tapsilou. The new quantum game, despite its increased complexity and scope, retains the most important characteristic ...
Kalliopi Kastampolidou +1 more
doaj +1 more source