Some model theory for game logics

1979 ◽  
Vol 44 (2) ◽  
pp. 147-152
Author(s):  
Judy Green
Keyword(s):  
Model Theory ◽  
Existence Theorems ◽  
Semantic Interpretation ◽  
Rule Based ◽  
Game Logic ◽  
Important Method ◽  
Consistency Property ◽  
Consistency Properties ◽  
Model Existence

Consistency properties and their model existence theorems have provided an important method of constructing models for fragments of L∞ω. In [E] Ellentuck extended this construction to Suslin logic. One of his extensions, the Borel consistency property, has its extra rule based not on the semantic interpretation of the extra symbols but rather on a theorem of Sierpinski about the classical operation . In this paper we extend that consistency property to the game logic LG and use it to show how one can extend results about and its countable fragments to LG and certain of its countable fragments. The particular formation of LG which we use will allow in the game quantifier infinite alternation of countable conjunctions and disjunctions as well as infinite alternation of quantifiers. In this way LG can be viewed as an extension of Suslin logic.

Strong Time-Consistency of a Core: An Application to the Pollution Control Problem in Eastern Siberia

2021 ◽  
Author(s):  
Ekaterina V. Gromova ◽  
Polina I. Barsuk ◽  
Shimai Su
Keyword(s):  
Absorption Coefficient ◽  
Pollution Control ◽  
Time Consistency ◽  
Model Parameters ◽  
Eastern Siberia ◽  
Linear Quadratic ◽  
The Core ◽  
Consistency Property ◽  
Strong Time Consistency ◽  
The Russian Federation

In this paper, we study the (strong) time-consistency property of the core for a linear-quadratic differential game of pollution control with nonzero absorption coefficient and real values of the model parameters. The values of parameters are evaluated based on the data for the largest aluminum enterprises of Eastern Siberia region of the Russian Federation for the year 2016. The obtained results are accompanied with illustrations.

scholarly journals Enhanced Back-Projection as Postprocessing for Pansharpening

2019 ◽  
Vol 11 (6) ◽  
pp. 712 ◽  
Author(s):  
Junmin Liu ◽  
Jing Ma ◽  
Rongrong Fei ◽  
Huirong Li ◽  
Jiangshe Zhang
Keyword(s):  
Spatial Resolution ◽  
Modulation Transfer Function ◽  
High Spatial Resolution ◽  
Multispectral Image ◽  
Back Projection ◽  
Modulation Transfer ◽  
Panchromatic Image ◽  
Consistency Property ◽  
High Pass ◽  
Satellite Sensor

Pansharpening is the process of integrating a high spatial resolution panchromatic image with a low spatial resolution multispectral image to obtain a multispectral image with high spatial and spectral resolution. Over the last decade, several algorithms have been developed for pansharpening. In this paper, a technique, called enhanced back-projection (EBP), is introduced and applied as postprocessing on the pansharpening. The proposed EBP first enhances the spatial details of the pansharpening results by histogram matching and high-pass modulation, followed by a back-projection process, which takes into account the modulation transfer function (MTF) of the satellite sensor such that the pansharpening results obey the consistency property. The EBP is validated on four datasets acquired by different satellites and several commonly used pansharpening methods. The pansharpening results achieve substantial improvements by this postprocessing technique, which is widely applicable and requires no modification of existing pansharpening methods.

CONSISTENCY FOR PROPORTIONAL SOLUTIONS

2002 ◽  
Vol 04 (03) ◽  
pp. 343-356 ◽  
Author(s):  
ELENA YANOVSKAYA
Keyword(s):  
Cooperative Game ◽  
Solution Set ◽  
Original Game ◽  
Payoff Vector ◽  
Tu Games ◽  
Reduced Game ◽  
Reduced Games ◽  
Consistency Property ◽  
Finite Set

One of the properties characterizing cooperative game solutions is consistency connecting solution vectors of a cooperative game with finite set of players and its reduced game defined by removing one or more players and by assigning them the payoffs according to some specific principle (e.g., a proposed payoff vector). Consistency of a solution means that any part (defined by a coalition of the original game) of a solution payoff vector belongs to the solution set of the corresponding reduced game. In the paper the proportional solutions for TU-games are defined as those depending only on the proportional excess vectors in the same manner as translation covariant solutions depend on the usual Davis–Maschler excess vectors. The general form of the reduced games defining consistent proportional solutions is given. The efficient, anonymous, proportional TU cooperative game solutions meeting the consistency property with respect to any reduced game are described.

scholarly journals Bias due to Berkson error: issues when using predicted values in place of observed covariates

Biostatistics ◽  
2020 ◽  
Author(s):  
Gregory Haber ◽  
Joshua Sampson ◽  
Barry Graubard
Keyword(s):  
Body Fat ◽  
Outcome Variable ◽  
Percent Body Fat ◽  
Unmeasured Confounding ◽  
Berkson Error ◽  
Health And Nutrition ◽  
Consistency Property ◽  
Predicted Values ◽  
Using Data ◽  
Marginal Inference

Summary Studies often want to test for the association between an unmeasured covariate and an outcome. In the absence of a measurement, the study may substitute values generated from a prediction model. Justification for such methods can be found by noting that, with standard assumptions, this is equivalent to fitting a regression model for an outcome variable when at least one covariate is measured with Berkson error. Under this setting, it is known that consistent or nearly consistent inference can be obtained under many linear and nonlinear outcome models. In this article, we focus on the linear regression outcome model and show that this consistency property does not hold when there is unmeasured confounding in the outcome model, in which case the marginal inference based on a covariate measured with Berkson error differs from the same inference based on observed covariates. Since unmeasured confounding is ubiquitous in applications, this severely limits the practical use of such measurements, and, in particular, the substitution of predicted values for observed covariates. These issues are illustrated using data from the National Health and Nutrition Examination Survey to study the joint association of total percent body fat and body mass index with HbA1c. It is shown that using predicted total percent body fat in place of observed percent body fat yields inferences which often differ significantly, in some cases suggesting opposite relationships among covariates.

Sign in / Sign up

Export Citation Format

Share Document