Related papers: On Guarded Transformation In The Modal Mu-Calculus
Capacitated network bargaining games are popular combinatorial games that involve the structure of matchings in graphs. We show that it is always possible to stabilize unit-weight instances of this problem (that is, ensure that they admit a…
In this paper we consider a special class of polymorphisms with invariant measure, - (cf.[1])- the algebraic polymorphisms of compact groups. A general polymorphism is -- by definition -- a many-valued map with invariant measure, and the…
We study variants of regular infinite games where the strict alternation of moves between the two players is subject to modifications. The second player may postpone a move for a finite number of steps, or, in other words, exploit in his…
Motivated by the recent interest in models of guarded (co-)recursion we study its equational properties. We formulate axioms for guarded fixpoint operators generalizing the axioms of iteration theories of Bloom and Esik. Models of these…
The conservativity theorem for nested relational calculus implies that query expressions can freely use nesting and unnesting, yet as long as the query result type is a flat relation, these capabilities do not lead to an increase in…
Substitute valuations (in some contexts called gross substitute valuations) are prominent in combinatorial auction theory. An algorithm is given in this paper for generating a substitute valuation through Monte Carlo simulation. In…
An important class of decidable first-order logic fragments are those satisfying a guardedness condition, such as the guarded fragment (GF). Usually, decidability for these logics is closely linked to the tree-like model property - the fact…
Some of the possible consequences of a generalized uncertainty principle (which emerges in the context of string theory and quantum gravity models as a consequence of fluctuations of the background metric) are analyzed considering the case…
Extensive behavioral experiments reveal that conditional cooperation is a prevalent phenomenon. Previous game-theoretical studies have predominantly relied on hard-manner models, where cooperation is triggered only upon reaching a specific…
This paper revisits the well-established relationship between the modal mu calculus and parity games to show that it is even more robust than previously known. It addresses the question of whether the descriptive complexity of modal mu…
We generalize the notion of symmetries of propositional formulas in conjunctive normal form to modal formulas. Our framework uses the coinductive models and, hence, the results apply to a wide class of modal logics including, for example,…
We introduce a category-theoreticabstraction of a syntax with auxiliary functions, called an admissiblemonad morphism. Relying on an abstract form of structural recursion,we then design generic tools to construct admissible monad…
In this paper we unveil novel monotonicity conditions applicable for Mean Field Games through the exploration of finite dimensional $canonical\ transformations$. Our findings contribute to establishing new global well-posedness results for…
The question of matrix similarity is a classical one in linear algebra. For a field $\mathbb{F}$ and some positive integer $n \in \mathbb{N}$, one may consider the following problems: 1. Given two matrices $A, B \in \mathrm{GL}(n,…
The complexity of parity games is a long standing open problem that saw a major breakthrough in 2017 when two quasi-polynomial algorithms were published. This article presents a third, independent approach to solving parity games in…
One of the much-debated novel features of theories with extra dimensions is the presence of power-like loop corrections to gauge coupling unification, which have the potential of allowing a significant reduction of the unification scale. A…
A modification of the Abelian Duality transformations is proposed guaranteeing that a (not necessarily conformally invariant) $\sigma$-model be quantum equivalent (at least up to two loops in perturbation theory) to its dual. This requires…
An alternative point of view to exact renormalization equations is discussed, where quantum fluctuations of a theory are controlled by the bare mass of a particle. The procedure is based on an exact evolution equation for the effective…
We consider the well-posedness of the initial value problem for Einstein-Maxwell theory modified by higher derivative effective field theory corrections. Field redefinitions can be used to bring the leading parity-symmetric 4-derivative…
We discuss a Modified Field Theory (MOFT) in which the number of fields can vary. It is shown that when the number of fields is conserved MOFT reduces to the standard field theory but interaction constants undergo an additional…