相关论文: A sequence of neighborhood contingency logics
This paper investigates neighborhood and algebraic models for predicate modal logics with $\omega$-rules, including non-normal cases. We establish sufficient conditions under which such logics have neighborhood models with constant domains…
Contextuality in quantum physics provides a key resource for quantum information and computation. The topological approach in [Abramsky and Brandenburger, New J. Phys., 2011, Abramsky et al., CSL 2015, 2015] characterizes contextuality as…
We introduce a monotone modal analogue of the intuitionistic (normal) modal logic IK using a translation into a suitable (intuitionistic) first-order logic. We axiomatise the logic and give a semantics by means of intuitionistic…
On plain physical grounds localization of relativistic quantum particles is extended to the achronal regions of Minkowski spacetime. Achronal localization fulfills automatically the requirements of causality. It constitutes the frame which…
We introduce a logic specifically designed to support reasoning about social choice functions. The logic includes operators to capture strategic ability, and operators to capture agent preferences. We establish a correspondence between…
Motivated by the general problem of extending the classical theory of holomorphic functions of a complex variable to the case of quater- nion functions, we give a notion of an H-derivative for functions of one quaternion variable. We show…
A canonical formulation of effective equations describes quantum corrections by the back-reaction of moments on the dynamics of expectation values of a state. As a first step toward an extension to quantum-field theory, these methods are…
Verifying the functional correctness of programs with both classical and quantum constructs is a challenging task. The presence of probabilistic behaviour entailed by quantum measurements and unbounded while loops complicate the…
We consider the operation of intersecting with a locally principal Cartier divisor (i.e., a Cartier divisor which is principal on some neighborhood of its support). We describe this operation explicitly on the level of cycles and rational…
We introduce a family of comparative plausibility logics over neighbourhood models, generalising Lewis' comparative plausibility operator over sphere models. We provide axiom systems for the logics, and prove their soundness and…
A notion of rational Baker-Akhiezer (BA) function related to a configuration of hyperplanes in C^n is introduced. It is proved that BA function exists only for very special configurations (locus configurations), which satisfy certain…
In this article, we study logics of unknown truths and false beliefs under neighborhood semantics. We compare the relative expressivity of the two logics. It turns out that they are incomparable over various classes of neighborhood models,…
Lin and Sjamaar have used symplectic Hodge theory to obtain canonical equivariant extensions for Hamiltonian actions on closed symplectic manifolds that have the strong Lefschetz property. Here we obtain canonical equivariant extensions…
In the paper we consider the Heun functions, which are solutions of the equation introduced by Karl Heun in 1889. The Heun functions generalize many known special functions and appear in many fields of modern physics. Evaluation of the…
We develop $L$-functions ratios conjecture with one shift in the numerator and denominator in certain ranges for the family of cubic Hecke $L$-functions of prime moduli over the Eisenstein field using multiple Dirichlet series under the…
Introduced by Dal Lago and Hofmann, quantitative realizability is a technique used to define models for logics based on Multiplicative Linear Logic. A particularity is that functions are interpreted as bounded time computable functions. It…
A. Tarski proposed the study of infinitary consequence operations as the central topic of mathematical logic. He considered monotonicity to be a property of all such operations. In this paper, we weaken the monotonicity requirement and…
Under natural conditions (such as split property and geometric modular action of wedge algebras) it is shown that the unitary equivalence class of the net of local (von Neumann) algebras in the vacuum sector associated to double cones with…
A family of recently investigated Bernstein functions is revisited and those functions for which the derivatives are logarithmically completely monotonic are identified. This leads to the definition of a class of Bernstein functions, which…
In 1902, P. St\"{a}ckel proved the existence of a transcendental function $f(z)$, analytic in a neighbourhood of the origin, and with the property that both $f(z)$ and its inverse function assume, in this neighbourhood, algebraic values at…