相关论文: Generalized Kripke's Schema and the Expressive Pow…
Thomas-Fermi model is considered here to make it cogent to capture the Planck-scale effect with the use of a generalization of uncertainty relation. Here generalization contains both linear and quadratic terms of momentum. We first…
Using a recently developed approach for solving the three dimensional Dirac equation with spherical symmetry, we obtain simple representations for the Green's function of the Dirac-Oscillator and Dirac-Coulomb problems. This is accomplished…
We propose stratified institutions (a decade old generalised version of the theory of institutions of Goguen and Burstall) as a fully abstract model theoretic approach to modal logic. This allows for a uniform treatment of model theoretic…
We give an algorithm for computing the irreducible admissible representations of a real reductive group with regular integral infinitesimal character. This algorithm has been implemented on a computer, as part of the Atlas of Lie Groups and…
This paper is about Kripke structures that are inside a relational database and queried with a modal language. At first the modal language that is used is introduced, followed by a definition of the database and relational algebra. Based on…
We study an asymptotic formula for average orders of Goldbach representations of an integer as the sum of k primes. We extend the existing result for k=2 to a general k, for which we obtain a better error term. Moreover, we prove an…
Any counterexample to the two-dimensional Jacobian Conjecture gives a rational map from one projective plane to another. We use some ideas of the Minimal Model Program to study the combinatorial structure of a rational surface, that is…
We introduce a modal logic for describing statistical knowledge, which we call statistical epistemic logic. We propose a Kripke model dealing with probability distributions and stochastic assignments, and show a stochastic semantics for the…
We introduce FIK, a natural intuitionistic modal logic specified by Kripke models satisfying the condition of forward confluence. We give a complete Hilbert-style axiomatization of this logic and propose a bi-nested calculus for it. The…
This paper establishes a real integral representation of the reciprocal $\Gamma$ function in terms of a regularized hypersingular integral. The equivalence with the usual complex representation is demonstrated. A regularized complex…
A class of models is presented, in the form of continuation monads polymorphic for first-order individuals, that is sound and complete for minimal intuitionistic predicate logic. The proofs of soundness and completeness are constructive and…
In this paper intuitionistic topological system and its properties have been introduced. Categorical interrelationships among Heyting algebra, G\"odel algebra, Esakia space and proposed intuitionistic topological systems have also been…
This paper investigates quantitative estimates in the homogenization of second-order elliptic systems with periodic coefficients that oscillate on multiple separated scales. We establish large-scale interior and boundary Lipschitz estimates…
The paper applies the theory developed in Part I to the discrete normal approximation in total variation of random vectors in ${\mathbb Z}^d$. We illustrate the use of the method for sums of independent integer valued random vectors, and…
We study a general class of recurrence relations that appear in the application of a matrix diagonalization procedure. We find general closed formula and determine analytical properties of the solutions. We finally apply these findings in…
While it was defined long ago, the extension of CTL with quantification over atomic propositions has never been studied extensively. Considering two different semantics (depending whether propositional quantification refers to the Kripke…
We axiomatize the provability logic of $\HA$ and prove its decidability. Furthermore, we axiomatize the preservativity and relative admissibility relations for several modal logics extending iK4. A principal technical tool is the…
In this paper we apply the previously introduced approximation method based on the ANOVA (analysis of variance) decomposition and Grouped Transformations to synthetic and real data. The advantage of this method is the interpretability of…
In this paper, we introduce weighted fractional generalized cumulative past entropy of a nonnegative absolutely continuous random variable with bounded support. Various properties of the proposed weighted fractional measure are studied.…
These lectures given in Montreal in Summer 1997 are mainly based on, and form a condensed survey of, the book by N. Chriss and V. Ginzburg: `Representation Theory and Complex Geometry', Birkhauser 1997. Various algebras arising naturally in…