Related papers: The Hamiltonian Syllogistic
This review paper is devoted to presenting the standard multisymplectic formulation for describing geometrically classical field theories, both the regular and singular cases. First, the main features of the Lagrangian formalism are…
We introduce Qiana, a logic framework for reasoning on formulas that are true only in specific contexts. In Qiana, it is possible to quantify over both formulas and contexts to express, e.g., that ``everyone knows everything Alice says''.…
Hamilton's principle does not formally apply to systems whose boundary conditions lie outside configuration space, but extensions are possible using certain "natural" boundary conditions that allow action extremization. With the single…
In this paper, we present an abstract framework of many-valued modal logic with the interpretation of atomic propositions and modal operators as predicate lifting over coalgebras for an endofunctor on the category of sets. It generalizes…
Gauge theories with general covariance are particularly reluctant to quantization. We discuss the example of the Hamiltonian formulation of the relativistic point particle that, despite its apparent simplicity, is of crucial importance…
Given a quantum Hamiltonian, we explain how the dynamical properties of the underlying classical system affect the behaviour of quantum eigenstates in the semi-classical limit. We study this problem via the notion of semiclassical measures.…
We consider classical theories described by Hamiltonians $H(p,q)$ that have a non-degenerate minimum at the point where generalized momenta $p$ and generalized coordinates $q$ vanish. We assume that the sum of squares of generalized momenta…
For the classical mind, quantum mechanics is boggling enough; nevertheless more bizarre behavior could be imagined, thereby concentrating on propositional structures (empirical logics) that transcend the quantum domain. One can also…
The quantum-mechanical description of the world, including human observers, makes substantial use of entanglement. In order to understand this, we need to adopt concepts of truth, probability and time which are unfamiliar in modern…
Semiclassical Hamiltonian field theory is investigated from the axiomatic point of view. A notion of a semiclassical state is introduced. An "elementary" semiclassical state is specified by a set of classical field configuration and quantum…
Inquisitive logic is a research program that extends the scope of logic to cover not only statements, but also questions. In the context of this program, a logic that plays a prominent role is inquisitive first-order logic, InqBQ, which…
We study the proof theory and algorithms for orthologic, a logical system based on ortholattices, which have shown practical relevance in simplification and normalization of verification conditions. Ortholattices weaken Boolean algebras…
We establish a new equivalent condition for the Grand Riemann Hypothesis for L-functions in a wide subclass of the Selberg class in terms of canonical systems of differential equations. A canonical system is determined by a real symmetric…
Existential rules are an expressive knowledge representation language mainly developed to query data. In the literature, they are often supposed to be in some normal form that simplifies technical developments. For instance, a common…
We develop a second-order extension of intuitionistic modal logic, allowing quantification over propositions, both syntactically and semantically. A key feature of second-order logic is its capacity to define positive connectives from the…
The new orthodoxy of quantum mechanics (QM) based on the decoherence approach requires many-worlds as an essential ingredient for logical consistency, and one may wonder what status to give to all these "other worlds". Here we advocate that…
Most classical mechanical systems are based on dynamical variables whose values are real numbers. Energy conservation is then guaranteed if the dynamical equations are phrased in terms of a Hamiltonian function, which then leads to…
Hamiltonian mechanics describes the evolution of a system through its Hamiltonian. The Hamiltonian typically also represents the energy observable, a Noether-conserved quantity associated with the time-invariance of the law of evolution. In…
We put into a general setting a technique of Rene' David (see "A Very Absolute Pi^1_2 Singleton, Annals of Pure and Applied Logic, 1982) to show that for S a Sigma^1_1 statement quantifying over subclasses of V of a special form, there is a…
Studying the behaviour of a quantum field in a classical, curved, spacetime is an extraordinary task which nobody is able to take on at present time. Independently by the fact that such problem is not likely to be solved soon, still we…