The study of the foundations of Quantum Mechanics, especially after the advent of Quantum Computation and Information, has benefited from the application of category-theoretic tools and modal logics to the analysis of Quantum processes: we witness a wealth of theoretical frameworks casted in either of the two languages. This paper explores the interplay of the two formalisms in the peculiar context of Quantum Theory. After a review of some influential abstract frameworks, we show how different modal logic frames can be extracted from the category of finite dimensional Hilbert spaces, connecting the Categorical Quantum Mechanics approach to some modal logics that have been proposed for Quantum Computing. We then apply a general version of th...
We introduce two modal natural deduction systems, MSQS and MSpQS, which are suitable to represent an...
AbstractToy models have been used to separate important features of quantum computation from the ric...
Toy models have been used to separate important features of quantum computation from the rich backgr...
In this work we develop a modal structure for the simultaneous treatment of actual and possible pro...
This thesis aims at connecting the two research programs known as Categorical Quantum Mechanics and ...
This thesis aims at connecting the two research programs known as Categorical Quantum Mechanics and ...
This short paper proposes the project of a modal logical semantics that will represent not the class...
We develop an algebraic frame for the simultaneous treatment of actual and possible properties of qu...
Arising from a special session held at the 2010 North American Annual Meeting of the Association for...
We introduce two modal natural deduction systems that are suitable to represent and reason about tra...
A fundamental component of theoretical computer science is the application of logic. Logic provides ...
We present a modal logic based approach to the endophysical quantum universe. In particular, we trea...
In 1990, Bas C. van Fraassen defined the modal interpretation of quantum mechanics as a consideratio...
Many insights into the quantum world can be found by studying it from amongst more general operation...
Modal interpretations have the ambition to construe quantum mechanics as an ob-jective, man-independ...
We introduce two modal natural deduction systems, MSQS and MSpQS, which are suitable to represent an...
AbstractToy models have been used to separate important features of quantum computation from the ric...
Toy models have been used to separate important features of quantum computation from the rich backgr...
In this work we develop a modal structure for the simultaneous treatment of actual and possible pro...
This thesis aims at connecting the two research programs known as Categorical Quantum Mechanics and ...
This thesis aims at connecting the two research programs known as Categorical Quantum Mechanics and ...
This short paper proposes the project of a modal logical semantics that will represent not the class...
We develop an algebraic frame for the simultaneous treatment of actual and possible properties of qu...
Arising from a special session held at the 2010 North American Annual Meeting of the Association for...
We introduce two modal natural deduction systems that are suitable to represent and reason about tra...
A fundamental component of theoretical computer science is the application of logic. Logic provides ...
We present a modal logic based approach to the endophysical quantum universe. In particular, we trea...
In 1990, Bas C. van Fraassen defined the modal interpretation of quantum mechanics as a consideratio...
Many insights into the quantum world can be found by studying it from amongst more general operation...
Modal interpretations have the ambition to construe quantum mechanics as an ob-jective, man-independ...
We introduce two modal natural deduction systems, MSQS and MSpQS, which are suitable to represent an...
AbstractToy models have been used to separate important features of quantum computation from the ric...
Toy models have been used to separate important features of quantum computation from the rich backgr...