English
Related papers

Related papers: A Topos Formulation of Consistent Histories

200 papers

We show that the principles of a ''complete physical theory'' and the conclusions of the standard quantum mechanics do not irreconcilably contradict each other as is commonly believed. In the algebraic approach, we formulate axioms that…

Quantum Physics · Physics 2007-05-23 D. A. Slavnov

We propose a conjugate logic that can capture the behavior of quantum and quantum-like systems. The proposal is similar to the more generic concept of epistemic logic: it encodes knowledge or perhaps more correctly, predictions about…

Quantum Physics · Physics 2024-01-10 Niklas Johansson , Felix Huber , Jan-Åke Larsson

We present a novel theoretical formulation for performing quantum dynamics in terms of moments within the single-particle description. By expressing the quantum dynamics in terms of increasing orders of moments, instead of single-particle…

Chemical Physics · Physics 2024-01-12 Nicholas Boyer , Christopher Shepard , Ruiyi Zhou , Jianhang Xu , Yosuke Kanai

Temporal logic provided an appealing approach to specifying properties of operating systems and other "reactive" software by allowing propositions to be qualified by "when" they must be true. This paper shows how to get the same effect,…

Logic in Computer Science · Computer Science 2026-01-16 Victor Yodaiken

This paper deals with the foundations of quantum mechanics. We start by outlining the characterisation, due to Birkhoff and Von Neumann, of the logical structures of the theories of classical physics and quantum mechanics, as boolean and…

Quantum Physics · Physics 2007-05-23 John Foy

Anhomomorphic logic is a new interpretation of Quantum Theory (due to R. Sorkin). It is a histories formulation (c.f. consistent histories, quantum measure theory). In this approach, reality is a co-event, which is essentially an assignment…

Quantum Physics · Physics 2009-07-07 Yousef Ghazi-Tabatabai , Petros Wallden

Applying logic in the area of conceptual modeling has been investigated widely, yet there has been limited uptake of logic-based conceptual modeling in industry. According to some researchers, another formalization of such tools as EER or…

Software Engineering · Computer Science 2024-09-25 Sabah Al-Fedaghi

Lewis' theory of counterfactuals is the foundation of many contemporary notions of causality. In this paper, we extend this theory in the temporal direction to enable symbolic counterfactual reasoning on infinite sequences, such as…

Logic in Computer Science · Computer Science 2023-06-16 Bernd Finkbeiner , Julian Siber

Despite its enormous empirical success, the formalism of quantum theory still raises fundamental questions: why is nature described in terms of complex Hilbert spaces, and what modifications of it could we reasonably expect to find in some…

Quantum Physics · Physics 2017-04-27 Marius Krumm , Howard Barnum , Jonathan Barrett , Markus P. Mueller

Does information play a significant role in the foundations of physics? Information is the abstraction that allows us to refer to the states of systems when we choose to ignore the systems themselves. This is only possible in very…

Quantum Physics · Physics 2014-03-05 Lluis Masanes , Markus P. Mueller , Remigiusz Augusiak , David Perez-Garcia

Starting from the guiding principles of spacetime locality and operationalism, a general framework for a probabilistic description of nature is proposed. Crucially, no notion of time or metric is assumed, neither any specific physical…

Quantum Physics · Physics 2023-08-17 Robert Oeckl

The predictions that quantum theory makes about the outcomes of measurements are generally probabilistic. This has raised the question whether quantum theory can be considered complete, or whether there could exist alternative theories that…

Quantum Physics · Physics 2016-04-13 Roger Colbeck , Renato Renner

In the framework of the topos approach to quantum mechanics we give a representation of physical properties in terms of modal operators on Heyting algebras. It allows us to introduce a classical type study of the mentioned properties.

Quantum Physics · Physics 2014-12-23 Hector Freytes , Graciela Domenech , Christian de Ronde

Based on the ideas of quantum theory of open systems (QTOS) we propose the consistent approach to study probabilistic many-valued propositional logic of intelligent devices that are composed from separate but interconnected logical units.…

Quantum Physics · Physics 2013-01-24 E. D. Vol

In the consistent histories formulation of quantum theory it was shown that it is possible to retrodict contrary properties. We show that this problem do not appear in our formalism of generalized contexts for quantum histories.

Quantum Physics · Physics 2015-06-19 Marcelo Losada , Roberto Laura

We elaborate the new interpretation of quantum theory that we recently proposed, according to which quantum particles are considered conceptual entities mediating between pieces of ordinary matter which are considered to act as memory…

Quantum Physics · Physics 2014-03-18 Diederik Aerts

I will propose that the reality to which the quantum formalism implicitly refers is a kind of generalized history, the word history having here the same meaning as in the phrase sum-over-histories. This proposal confers a certain…

Quantum Physics · Physics 2010-04-09 Rafael D. Sorkin

The nature of the change in perspective that accompanies the proposal of a unified physical theory deriving from the single dimension of time is elaborated. On expressing a temporal interval in a multi-dimensional form, via a direct…

General Physics · Physics 2018-04-03 David J. Jackson

We show that, in spite of a rather common opinion, quantum mechanics can be represented as an approximation of classical statistical mechanics. The approximation under consideration is based on the ordinary Taylor expansion of physical…

Statistical Mechanics · Physics 2009-11-11 Andrei Khrennikov

Traditional interpretations of quantum theory in terms of wave function collapse are particularly unappealing when considering the universe as a whole, where there is no clean separation between classical observer and quantum system and…

Quantum Physics · Physics 2011-06-06 Ed Seidewitz
‹ Prev 1 8 9 10 Next ›