In contrast to the theories of relativity, quantum mechanics is not yet based on a generally accepted conceptual foundation. It is proposed here that the missing principle may be identified through the observation that all knowledge in physics has to be expressed in propositions and that therefore the most elementary system represents the truth value of one proposition, i.e., it carries just one bit of information. Therefore an elementary system can only give a definite result in one specific measurement. The (...) irreducible randomness in other measurements is then a necessary consequence. For composite systems entanglement results if all possible information is exhausted in specifying joint properties of the constituents. (shrink)

We show how belief revision can be treated systematically in the format of dynamicepistemic logic, when operators of conditional belief are added. The core engine consists of definable update rules for changing plausibility relations between worlds, which have been proposed independently in the dynamic-epistemic literature on preference change. Our analysis yields two new types of modal result. First, we obtain complete logics for concrete mechanisms of belief revision, based on compositional reduction axioms. Next, we show how various abstract postulates for (...) belief revision can be analyzed by standard modal frame correspondences for model-changing operations. (shrink)

Research within the operational approach to the logical foundations of physics has recently pointed out a new perspective in which quantum logic can be viewed as an intuitionistic logic with an additional operator to capture its essential, i.e., non-distributive, properties. In this paper we will offer an introduction to this approach. We will focus further on why quantum logic has an inherent dynamic nature which is captured in the meaning of "orthomodularity" and on how it motivates physically the introduction of (...) dynamic implication operators, each for which a deduction theorem holds with respect to a dynamic conjunction. As such we can offer a positive answer to the many who pondered about whether quantum logic should really be called a logic. Doubts to answer the question positively were in first instance due to the former lack of an implication connective which satisfies the deduction theorem within quantum logic. (shrink)

R.I.G Hughes offers the first detailed and accessible analysis of the Hilbert-space models used in quantum theory and explains why they are so successful.

We investigate the discrete (finite) case of the Popper–Renyi theory of conditional probability, introducing discrete conditional probabilistic models for knowledge and conditional belief, and comparing them with the more standard plausibility models. We also consider a related notion, that of safe belief, which is a weak (non-negatively introspective) type of “knowledge”. We develop a probabilistic version of this concept (“degree of safety”) and we analyze its role in games. We completely axiomatize the logic of conditional belief, knowledge and safe belief (...) over conditional probabilistic models. We develop a theory of probabilistic dynamic belief revision, introducing probabilistic “action models” and proposing a notion of probabilistic update product, that comes together with appropriate reduction laws. (shrink)

We present a logical calculus for reasoning about information flow in quantum programs. In particular we introduce a dynamic logic that is capable of dealing with quantum measurements, unitary evolutions and entanglements in compound quantum systems. We give a syntax and a relational semantics in which we abstract away from phases and probabilities. We present a sound proof system for this logic, and we show how to characterize by logical means various forms of entanglement (e.g. the Bell states) and various (...) linear operators. As an example we sketch an analysis of the teleportation protocol. (shrink)

We construct logical languages which allow one to represent a variety of possible types of changes affecting the information states of agents in a multi-agent setting. We formalize these changes by defining a notion of epistemic program. The languages are two-sorted sets that contain not only sentences but also actions or programs. This is as in dynamic logic, and indeed our languages are not significantly more complicated than dynamic logics. But the semantics is more complicated. In general, the semantics of (...) an epistemic program is what we call aprogram model. This is a Kripke model of ‘actions’,representing the agents' uncertainty about the current action in a similar way that Kripke models of ‘states’ are commonly used in epistemic logic to represent the agents' uncertainty about the current state of the system. Program models induce changes affecting agents' information, which we represent as changes of the state model, called epistemic updates. Formally, an update consists of two operations: the first is called the update map, and it takes every state model to another state model, called the updated model; the second gives, for each input state model, a transition relation between the states of that model and the states of the updated model. Each variety of epistemic actions, such as public announcements or completely private announcements to groups, gives what we call an action signature, and then each family of action signatures gives a logical language. The construction of these languages is the main topic of this paper. We also mention the systems that capture the valid sentences of our logics. But we defer to a separate paper the completeness proof. (shrink)