In this paper it is argued that Hintikka’s game theoretical semantics for Independence Friendly logic does not formalize the intuitions about independent choices; it rather is a formalization of imperfect information. Furthermore it is shown that the logic has several strange properties (e.g. renaming of bound variables is not allowed). An alternative semantics is proposed which formalizes intu...

Several variants of a first-order simplification rule for nonnormal form tableaux using syntactic constraints are presented. These can be used as a framework for porting methods like unit resolution or hyper tableaux to non-normal form free variable tableaux.

An alternative approach to the semantics of definite descriptions was proposed by Heim in her dissertation [1982]. Heim assigns to pragmatics a larger part of the task of specifying the meaning of definite descriptions than the neo-Russellians do. In Heim’s theory, definite and indefinite NPs are semantically equivalent, and both introduce free variables. The truth conditions proposed by Heim f...

$

In this paper, the problem of identifying stochastic linear continuous-time systems from noisy input/output data is addressed. The input of the system is assumed to have a skewed probability density function, whereas the noises contaminating the data are assumed to be symmetrically distributed. The third-order cumulants of the input/output data are then (asymptotically) insensitive to the noise...

in this paper, we consider portfolio selection problem in which security returns are regarded as fuzzy variables rather than random variables. we first introduce a concept of absolute deviation for fuzzy variables and prove some useful properties, which imply that absolute deviation may be used to measure risk well. then we propose two mean-absolute deviation models by defining risk as abs...

A novel direct approach for identifying continuous-time linear dynamic errors-in-variables models is presented in this paper. The effects of the noise on the state-variable filter outputs are analyzed. Subsequently, a search-free algorithm to obtain consistent continuous-time parameter estimates in the errors-in-variables framework is derived. The performances of the proposed algorithm are illu...

This paper deals with identification of dynamic discrete-time errors-in-variables systems. The statistical accuracy of a least squares estimator based on third-order cumulants is analyzed. In particular, the asymptotic covariance matrix of the estimated parameters is derived. The results are supported by numerical simulation studies.