We give a logical analysis of quantum measurements as forms of information update. We enumerate some of the “lessons ” that Logic can learn from Quantum Mechanics: (1) the importance of logical dynamics; (2) the fact that quantum physics does not require any modification of the classical laws of “static ” propositional logic, but only a non-classical dynamics of information flow; (3) the fact that all information-gathering actions have ontic side-effects; (4) the fact that this ontic impact might in its turn affect the flow of information, leading to non-classical epistemic effects and to states of “objectively imperfect information”.
The recent developments in quantum information and computation are not only of interest for applicat...
A consensus is emerging that the multiple forms, functions and properties of information cannot be c...
This book provides a general survey of the main concepts, questions and results that have been devel...
In this paper we show how recent concepts from Dynamic Logic, and in particular from Dynamic Epistem...
In this paper we show how recent concepts from Dynamic Logic, and in particular from Dynamic Epistem...
This paper provides an overview of quantum dynamic logics, showing how they have been designed and i...
Quantum information has suggested new forms of quantum logic, called quantum computational logics, w...
Quantum theory is astonishingly accurate in predicting experimental results and enabling us to under...
Quantum information and computation may serve as a source of useful axioms and ideas for the quantum...
This article is a short review on the concept of information. We show the strong relation between In...
This paper presents evidence from the fields of cognitive science and quantum information theory sug...
We present a logical calculus for reasoning about information flow in quan-tum programs. In particul...
The philosophical debate about quantum logic between the late 1960s and the early 1980s was generate...
The pre-eminence of logical dynamics, over a static and purely propositional view of Logic, lies at ...
© The Author(s) 2011. This article is published with open access at Springerlink.com Abstract In thi...
The recent developments in quantum information and computation are not only of interest for applicat...
A consensus is emerging that the multiple forms, functions and properties of information cannot be c...
This book provides a general survey of the main concepts, questions and results that have been devel...
In this paper we show how recent concepts from Dynamic Logic, and in particular from Dynamic Epistem...
In this paper we show how recent concepts from Dynamic Logic, and in particular from Dynamic Epistem...
This paper provides an overview of quantum dynamic logics, showing how they have been designed and i...
Quantum information has suggested new forms of quantum logic, called quantum computational logics, w...
Quantum theory is astonishingly accurate in predicting experimental results and enabling us to under...
Quantum information and computation may serve as a source of useful axioms and ideas for the quantum...
This article is a short review on the concept of information. We show the strong relation between In...
This paper presents evidence from the fields of cognitive science and quantum information theory sug...
We present a logical calculus for reasoning about information flow in quan-tum programs. In particul...
The philosophical debate about quantum logic between the late 1960s and the early 1980s was generate...
The pre-eminence of logical dynamics, over a static and purely propositional view of Logic, lies at ...
© The Author(s) 2011. This article is published with open access at Springerlink.com Abstract In thi...
The recent developments in quantum information and computation are not only of interest for applicat...
A consensus is emerging that the multiple forms, functions and properties of information cannot be c...
This book provides a general survey of the main concepts, questions and results that have been devel...