相关论文: Dynamical properties of logical substitutions
This paper proposes the use of dependent types for pragmatic phenomena such as pronoun binding and presupposition resolution as a type-theoretic alternative to formalisms such as Discourse Representation Theory and Dynamic Semantics.
This article introduces a relatively complete proof calculus for differential dynamic logic (dL) that is entirely based on uniform substitution, a proof rule that substitutes a formula for a predicate symbol everywhere. Uniform…
A natural liberalization of Datalog is used in the Distributed Knowledge Authorization Language (DKAL). We show that the expressive power of this liberal Datalog is that of existential fixed-point logic. The exposition is self-contained.
This paper revisits the multi-agent epistemic logic presented in [10], where agents and sets of agents are replaced by abstract, intensional "names". We make three contributions. First, we study its model theory, providing adequate notions…
Many forms of dependence manifest themselves over time, with behavior of variables in dynamical systems as a paradigmatic example. This paper studies temporal dependence in dynamical systems from a logical perspective, by enriching a…
We give some basics about homological algebra of difference representations. We consider both the difference-discrete and the difference-rational case. We define the corresponding cohomology theories and show the existence of spectral…
We present an action of ultra-relativistic electrodynamics on a flat Carroll manifold. The model exhibits a couple of physical degrees of freedom per space-point. We observe that the action of the conformal Carroll algebra on the phase…
DHOL is an extensional, classical logic that equips the well-known higher-order logic (HOL) with dependent types. This allows for concise encodings of important domains like size-bounded data structures, category theory, or proof theory.…
Isomorphism between formulae is defined with respect to categories formalizing equality of deductions in classical propositional logic and in the multiplicative fragment of classical linear propositional logic caught by proof nets. This…
Dynamic evidence logics are logics for reasoning about the evidence and evidence-based beliefs of agents in a dynamic environment. In this paper, we introduce a family of logics for reasoning about relational evidence: evidence that…
Dynamical degrees and spectra can serve to distinguish birational automorphism groups of varieties in quantitative, as opposed to only qualitative, ways. We introduce and discuss some properties of those degrees and the Cremona degrees,…
We review old and new uses of exchangeability, emphasizing the general theme of exchangeable representations of complex random structures. Illustrations of this theme include processes of stochastic coalescence and fragmentation; continuum…
The paper studies the relationship between diffraction and dynamics for uniformly discrete ergodic point processes in real spaces. This relationship takes the form of an isometric embedding of two L^2 spaces. Diffraction (or equivalently…
The study of algebraic properties of groups of transformations of a manifold gives rise to an interplay between different areas of mathemathics such as topology, geometry, and dynamical systems. Especially, in this paper, we point out some…
We consider propositional modal logic with two modal operators $\Box$ and $\D$. In topological semantics $\Box$ is interpreted as an interior operator and $\D$ as difference. We show that some important topological properties are…
We study random relational structures that are \emph{relatively exchangeable}---that is, whose distributions are invariant under the automorphisms of a reference structure $\mathfrak{M}$. When $\mathfrak{M}$ has {\em trivial definable…
In this paper, we study several propositional team logics that are closed under unions, including propositional inclusion logic. We prove that all these logics are expressively complete, and we introduce sound and complete systems of…
The role of automorphisms of infinite-dimensional Lie algebras in conformal field theory is examined. Two main types of applications are discussed; they are related to the enhancement and reduction of symmetry, respectively. The structures…
A short introduction to the mathematical methods and technics of differential algebras and modules adapted to the problems of mathematical and theoretical physics is presented.
The automorphism group of a one dimensional shift space over a finite alphabet exhibits different types of behavior: for a large class with positive entropy, it contains a rich collection of subgroups, while for many shifts of zero entropy,…