Modal logics for reasoning about the power of coalitions capture the notion of effectivity functions associated with game forms. The main goal of coalition logics is to provide formal tools for modeling the dynamics of a game frame whose states may correspond to different game forms. The two classes of effectivity functions studied are the families of playable and truly playable effectivity fun...

We introduce and study higher-order coalition logic, a multi modal monadic second-order logic with operators [{x}ψ]φ expressing that the coalition of all agents satisfying ψ(x) can achieve a state in which φ holds. We use neighborhood semantics to model extensive games of perfect information with simultaneous actions and we provide a framework reasoning about agents in the same way as it is rea...

In this paper, for a complete residuated lattice L, we present the categorical properties of ?-neighborhood spaces and their relationships to neighborhood stratified L-neighborhood spaces. The main results are: (1) category is topological category; (2) can be embedded in as reflective subcategory, when L meet-continuous lattice, subcategory; (3) continuous (resp., spaces) simultaneously corefle...

salient development of urbanization, with development of cities in terms of population and area and appearance of megalopolises and metropolises have directed macro view and city – scale to fundamental cells or urban neighborhoods to this level in order the main objective of planning or improving of quality of life of residents be tried. in this new pattern, micro-oriented approach base on soci...

After the inscription of Historic City Yazd on UNESCO’s World Heritage List in 2017, number visiting tourists increased. This area is a set neighborhoods with unique characteristics. study aimed at assessing both host community’s attitudes towards tourism and destination image tourists' perception, as elements potential resources Fahadan neighborhood Yazd. The present research descriptive-analy...

The study of the socioeconomic neurogradients—i.e., neural differences corresponding to variations in socioeconomic status (SES)—is a neonate area of transdisciplinary and multidisciplinary research within neuroscience; this Research Topic portrays the current status in addressing social inequities and life-span brain development. To start off, papers focus on development areas that are commonl...

We apply a physical based model to describe the clothes fashion market. Every time a new outlet appears on the market, it can invade the market under certain specific conditions. Hence, the “old” outlet can be completely dominated and disappears. Each creator competes for a finite population of agents. Fashion phenomena are shown to result from a collective phenomenon produced by local individu...

Given an undirected weighted graph G = (V,E) with vertex set V, edge set E and weights wi ∈ R associated to V or to E. Minimum weighted k-Cardinality tree problem (k-CARD for short) consists of finding a subtree of G with exactly k edges whose sum of weights is minimum [4]. There are two versions of this problem: vertex-weighted and edge-weighted, if weights to V or to E are associated, respect...

A systematic analysis of the effects of spatial extension on the equilibrium frequency of cooperators and defectors in 2× 2 games is presented and compared to well mixed populations where spatial extension can be neglected. We demonstrate that often spatial extension is indeed capable of promoting cooperative behavior. This holds in particular for the prisoner’s dilemma for a small but importan...

The category of von Neumann correspondences from B to C (or von Neumann B–C–modules) is dual to the category of von Neumann correspondences from C to B via a functor that generalizes naturally the functor that sends a von Neumann algebra to its commutant and back. We show that under this duality, called commutant, Rieffel’s Eilenberg-Watts theorem (on functors between the categories of represen...