This note proposes various axiomatizations of contingency logic under neighborhood semantics. In particular, by defining a suitable canonical neighborhood function, we give sound and complete axiomatizations of monotone contingency logic and regular contingency logic, thereby answering two open questions raised by Bakhtiari, van Ditmarsch, and Hansen. The canonical function is inspired by a fun...

conclusions the findings point to a relationship between neighborhood characteristics and obesity only in the azeri turks. however, educational level was more important than neighborhood quality in predicting the risk of obesity results three common neighborhood environments were identified: 1) modern-affluent, 2) central-high access and 3) marginal. these three factors explained 73.2% of the t...

following the idea of $l$-fuzzy neighborhood system as introduced byfu-gui shi, and its generalization to $(l,m)$-fuzzy neighborhood system, the relationship between  $(l,m)$-fuzzy topology and $(l,m)$-fuzzy neighborhood system will be further studied. as an application of the obtained results, we will describe the initial structures of $(l,m)$-fuzzy neighborhood subspaces and $(l,m)$-fuzzy top...

In this paper, new definitions of $L$-fuzzy closure operator, $L$-fuzzy interior operator, $L$-fuzzy remote neighborhood system, $L$-fuzzy neighborhood system and $L$-fuzzy quasi-coincident neighborhood system are proposed. It is proved that the category of $L$-fuzzy closure spaces, the category of $L$-fuzzy interior spaces, the category of $L$-fuzzy remote neighborhood spaces, the category of ...

regarding iranian old cities, neighborhood has been a real place to live, a space for social interaction as well as economic activities. the concept of neighborhood has always been accompanied with senses of well-being, security and identity. in parallel with urban developments and changing lifestyles, neighborhoods have also faced the significant changes. in tehran as the capital, the changes ...

background: the purpose of this study is to determine association between personal, family, neighborhood, and social network characteristics and perceived intimacy in the neighborhood by the women. methods: in this cross‑sectional study, we applied a two‑stage sampling method to choose a representative sample of 150 married women and housewives, aged 15 to 49 years, who had education between si...

Main methods, algorithms and applications of the Variable Neighborhood Search metaheuristic are surveyed, in view of a chapter of the Encyclopedia of Optimization.

In this paper, we propose a new neighborhood semantics for contingency logic, by introducing a simple property in standard neighborhood models. This simplifies the neighborhood semantics given in Fan and van Ditmarsch [4], but does not change the set of valid formulas. Under this perspective, among various notions of bisimulation and respective Hennessy-Milner Theorems, we show that c-bisimulat...