Related papers: Differential Equation Invariance Axiomatization
Spectral properties and transition to instability in neutral delay differential equations are investigated in the limit of large delay. An approximation of the upper boundary of stability is found and compared to an analytically derived…
We study some classes of semi-linear differential equations including both well-posed and ill-posed cases that can generate cocycles (or cocycle correspondences with generating cocycles). Under exponential dichotomy condition with other…
The aim of this paper is to study symmetries of linearly singular differential equations, namely, equations that can not be written in normal form because the derivatives are multiplied by a singular linear operator. The concept of…
Caustics are a generic feature of the nonlinear growth of structure in the dark matter distribution. If the dark matter were absolutely cold, its mass density would diverge at caustics, and the integrated annihilation probability would also…
In this work, we investigate some connections between exact differential equations and harmonic functions and in particular, we obtain necessary and sufficient conditions for which exact equations admit harmonic solutions. As an…
We study asymptotic jumping numbers for graded sequences of ideals, and show that every such invariant is computed by a suitable real valuation of the function field. We conjecture that every valuation that computes an asymptotic jumping…
The dual character of invariance under transformations and definability by some operations has been used in classical work by for example Galois and Klein. Following Tarski, philosophers of logic have claimed that logical notions themselves…
We first study probabilistic dynamical systems from logical perspective. To this purpose, we introduce the finitary dynamic probability logic} ($\mathsf{DPL}$), as well as its infinitary extension $\mathsf{DPL}_{\omega_1}\!$. Both these…
We generalize intuitionistic tense logics to the multi-modal case by placing grammar logics on an intuitionistic footing. We provide axiomatizations for a class of base intuitionistic grammar logics as well as provide axiomatizations for…
The biggest challenge in hybrid systems verification is the handling of differential equations. Because computable closed-form solutions only exist for very simple differential equations, proof certificates have been proposed for more…
We derive the Lie and the Noether conditions for the equations of motion of a dynamical system in a $n-$dimensional Riemannian space. We solve these conditions in the sense that we express the symmetry generating vectors in terms of the…
Propositional temporal logic over the real number time flow is finitely axiomatisable, but its first-order counterpart is not recursively axiomatisable. We study the logic that combines the propositional axiomatisation with the usual axioms…
We present a new duality theory for non-convex variational problems, under possibly mixed Dirichlet and Neumann boundary conditions. The dual problem reads nicely as a linear programming problem, and our main result states that there is no…
In 1988, Ivlev proposed four-valued non-deterministic semantics for modal logics in which the alethic T axiom holds good. Unfortunately, no completeness was proved. In previous work, we proved completeness for some Ivlev systems and…
We reformulate Einstein's theory of gravity, isolating the conformal degree of freedom in a covariant way. This is done by introducing a physical metric defined in terms of an auxiliary metric and a scalar field appearing through its first…
The dynamics of a physical system is linked to its phase-space geometry by Noether's theorem, which holds under standard hypotheses including continuity. Does an analogous theorem hold for discrete systems? As a testbed, we take the Ising…
It turns out that the infinite derivative gravity (IDG) is ghost-free and renormalizable when one chooses the exponential of an entire function. For this IDG case, the corresponding Newtonian potential generated from the delta function is…
The concept of complementarity, originally defined for non-commuting observables of quantum systems with states of non-vanishing dispersion, is extended to classical dynamical systems with a partitioned phase space. Interpreting partitions…
Dependence logic, introduced in [8], cannot be axiomatized. However, first-order consequences of dependence logic sentences can be axiomatized, and this is what we shall do in this paper. We give an explicit axiomatization and prove the…
Constructing the Theory of Everything (TOE) is an elusive goal of today's physics. Goedel's incompleteness theorem seems to forbid physics axiomatization, a necessary part of the TOE. The purpose of this contribution is to show how physics…