We describe the gravitational degrees of freedom of the Schwarzschild black hole by one free variable. We introduce an equation which we suggest to be the Schrödinger equation of the Schwarzschild black hole corresponding to this model. We solve the Schrödinger equation explicitly and obtain the mass spectrum of the black hole as such as it can be observed by an observer very far away and at re...

In Missing Feature Theory (MFT), noise robustness of speech recognizers is obtained by modifying the likelihood computed by the acoustic model to express that some features extracted from the signal are unreliable or missing. In one implementation of MFT, the acoustic model and bounds on the unreliable feature are used to infer an estimate of the missing data. This paper addresses an observed b...

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...

Hyper tableau reasoning is a version of clausal form tableau reasoning where all negative literals in a clause are resolved away in a single inference step. Constrained hyper tableaux are a generalization of hyper tableaux, where branch closing substitutions, from the point of view of model generation, give rise to constraints on satisfying assignments for the branch. These variable constraints...

$

This paper develops recursive solution methods for linear rational expectations models. The underlying structural model is transformed into a state-space representation, which can then be used to solve the model and to form the Gaussian likelihood function. The recursive solution method has several advantages over other approaches. First, the set of solutions to the model are summarized by a se...