Quantum information has suggested new forms of quantum logic, called quantum computational logics, where meanings of sentences are represented by pieces of quantum information (generally, density operators of some Hilbert spaces), which can be stored and transmitted by means of quantum particles. This approach can be applied to a semantic characterization of epistemic logical operations, which may occur in sentences like "At time Bob knows that at time Alice knows that the spin-value is up". Each epistemic agent (say, Alice, Bob,...) has a characteristic truth perspective, corresponding to a particular orthonormal basis of the Hilbert space . From a physical point of view, a truth perspective can be associated with an apparatus that allows ...
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 the first chapter we introduce new forms of quantum logic suggested by quantum computation, calle...
Quantum information has suggested new forms of quantum logic, called quantum computational logics, w...
Abstract Some critical open problems of epistemic logics can be investigated in the framework of a q...
Some critical open problems of epistemic logics can be investigated in the framework of a quantum c...
By using the abstract structures investigated in the first Part of this article, we develop a semant...
Quantum computation has suggested new forms of quantum logic, called quantum computational logics. I...
Some critical open problems of epistemic logics can be investigated in the framework of a quantum co...
Quantum computation theory has inspired new forms of quantum logic, called quantum computational log...
Abstract. We construct a formal framework for investigating epistemic and temporal notions in the co...
Abstract. In quantum computational logics meanings of sentences are identified with quantum informat...
We give a logical analysis of quantum measurements as forms of information update. We enumerate some...
In this paper we give a logical analysis of both classical and quantum correlations. We propose a ne...
This book provides a general survey of the main concepts, questions and results that have been devel...
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 the first chapter we introduce new forms of quantum logic suggested by quantum computation, calle...
Quantum information has suggested new forms of quantum logic, called quantum computational logics, w...
Abstract Some critical open problems of epistemic logics can be investigated in the framework of a q...
Some critical open problems of epistemic logics can be investigated in the framework of a quantum c...
By using the abstract structures investigated in the first Part of this article, we develop a semant...
Quantum computation has suggested new forms of quantum logic, called quantum computational logics. I...
Some critical open problems of epistemic logics can be investigated in the framework of a quantum co...
Quantum computation theory has inspired new forms of quantum logic, called quantum computational log...
Abstract. We construct a formal framework for investigating epistemic and temporal notions in the co...
Abstract. In quantum computational logics meanings of sentences are identified with quantum informat...
We give a logical analysis of quantum measurements as forms of information update. We enumerate some...
In this paper we give a logical analysis of both classical and quantum correlations. We propose a ne...
This book provides a general survey of the main concepts, questions and results that have been devel...
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 the first chapter we introduce new forms of quantum logic suggested by quantum computation, calle...