We present a (co)algebraic treatment of iteration-free dynamic modal logics such as Propositional Dynamic Logic (PDL) and Game Logic (GL), both without star. The main observation is that the program/game constructs of PDL/GL arise from monad structure, and the axioms of these logics correspond to certain compatibilty requirements between the modalities and this monad structure. Our main contrib...

This note demonstrates that a lattice game with strategic substitutes is dominancesolvable if and only if there exists a unique fixed point of the function that results from an iteration of the best response function. This finding complements a result of Milgrom and Roberts’ (1990) by which a lattice game with strategic complements is dominance-solvable if and only if there exists a unique Nash...

Internet of things (IoT) technology and unmanned aerial vehicles (UAV) cluster combat are likely to be the key technologies deployed on future battlefield. The present research indicates that IoT selects optimal strategy according attacker’s maintain connection. Thereafter, an UAV battlefield confrontation system model is established. This then transformed into a dynamic game attacker defender,...

A remarkable result, due to Moore & Repullo (1988) is that any social choice function can be implemented as the unique equilibrium of a suitably constructed dynamic game (subgame perfect implementation). Yet such mechanisms are never observed in practice, which raises the question: why not? In this paper we test such mechanisms experimentally and find that even small deviations from perfect inf...

Many times, NPCs are unaware of their environment, causing them to miss essential information and die as a result. They are also usually unable to dynamically build temporary coalitions, reason about norms, or use any other social coordination mechanism that will control their decision making and behaviour. In fact, most NPCs are very simple script machines that have very poor social skills. Dy...

Abstract The benefits and costs of wildlife are contingent on the spatial overlap animal populations with economic recreational human activities. By using a production function approach dynamic panel data models, we analyze effects hunting carnivore predation pressure value ungulate game harvests. results show evidence dependence in harvests roe deer wild boar, but not those moose, which is lik...

The purpose of this paper is to give a global characterization of excess demand functions in a two period exchange economy with incomplete real asset markets. We show that continuity, homogeneity and Walras’ law characterize the aggregate excess demand functions on any compact price set which maintains the dimension of the budget set. JEL classification: D52, C62.

In this paper, a discrete-time dynamic duopoly model, with nonlinear demand and cost functions, is established. The properties of existence local stability equilibrium points have been verified analyzed. conditions are also given the help Jury criterion. With changing values parameters, system shows some new interesting phenomena in terms to multistability, such as V-shaped stable structures (a...

We consider a population of “crowd-averse” dynamic agents controlling their states towards regions of low density. This represents a typical dissensus behavior in opinion dynamics. Assuming a quadratic density distribution, we first introduce a mean-field game formulation of the problem, and then we turn the game into a two-point boundary value problem. Such a result has a value in that it turn...