We decided to make EQPL as it is (that is, sensitive to global phase) for two reasons. In practice, physicists and quantum computer scientists need to work with both levels of abstraction. Sometimes they want to work with states as unit vectors. Sometimes they want to abstract away the global phase. Therefore, a calculus supporting the former level of abstraction is also useful. The second reason is a consequence of the fact that forgetting global phase requires a major semantic shift. Indeed, it is better solved by identifying a quantum state, not with a unit vector of the underlying Hilbert space, but, instead, with a density operator working on that space, that is, working with ensembles or mixed quantum states in general.
Such shift towards a semantics based on density operators will lead to a quite different quantum logic (but still extending classical logic by applying the exogenous approach) that will also be useful for reasoning about quantum systems evolving under partial tracing, besides unitary transformations and measurements. Clearly, this is yet another line of research that will deserve attention.
Finally, the relationship between the exogenous quantum logics and the more traditional quantum logics (based on the original Birkhoff and von Neumann proposal) should be explored. At the preliminary stage of work in this direction, it seems that most of the qualitative assertions possible in the latter can be made in the former and that most of the quantitative assertions possible in the former can be borrowed by extensions of the latter.
Acknowledgments The authors wish to express their deep gratitude to the regular participants in the QCI Seminar at CLC, specially Ana Maria Martins and Vítor Rocha Vieira, who attended early presentations of EQPL and gave very useful feedback that helped us to get over our initial difficulties in and misunderstandings of quantum physics. This work was partially supported by FCT and FEDER through POCTI, namely via QuantLog POCTI/MAT/55796/2004 Project. References

M. Abadi and J. Y. Halpern. Decidability and expressiveness for firstorder logics of probability. Information and Computation, 112(1):1–36, 1994.

F. Bacchus. On probability distributions over possible worlds. In Uncertainty in Artificial Intelligence, 4, volume 9 of Machine Intelligence and Pattern Recognition, pages 217–226. NorthHolland, 1990.

F. Bacchus. Representing and Reasoning with Probabilistic Knowledge. MIT Press Series in Artificial Intelligence. MIT Press, 1990.

A. Baltag and S. Smets. The logic of quantum programs. In P. Selinger, editor, Proceeding of the 2nd Workshop on Quantum Programming Languages, pages 39–56. Turku Centre for Computer Science, 2004.

G. Birkhoff and J. von Neumann. The logic of quantum mechanics. Annals of Mathematics, 37(4):823–843, 1936.

W. A. Carnielli. Possibletranslations semantics for paraconsistent logics. In Frontiers of Paraconsistent Logic (Ghent, 1997), volume 8 of Studies in Logic and Computation, pages 149–163. Research Studies Press, 2000.

W. A. Carnielli and M. LimaMarques. Society semantics and multiplevalued logics. In Advances in Contemporary Logic and Computer Science (Salvador, 1996), volume 235 of Contemporary Mathematics, pages 33–52. AMS, 1999.

M. L. D. Chiara, R. Giuntini, and R. Greechie. Reasoning in Quantum Theory. Kluwer Academic Publishers, 2004.

C. CohenTannoudji, B. Diu, and F. Laloë. Quantum Mechanics. John Wiley, 1977.

H. Dishkant. Semantics of the minimal logic of quantum mechanics. Studia Logica, 30:23–32, 1972.

R. Fagin, J. Y. Halpern, and N. Megiddo. A logic for reasoning about probabilities. Information and Computation, 87(12):78–128, 1990.

D. J. Foulis. A halfcentury of quantum logic. What have we learned? In Quantum Structures and the Nature of Reality, volume 7 of Einstein Meets Magritte, pages 1–36. Kluwer Acad. Publ., 1999.

L. Henkin. Completeness in the theory of types. Journal of Symbolic Logic, 15:81–91, 1950.

C. Karp. Languages with Expressions of Infinite Length. NorthHolland, 1964.

S. A. Kripke. Semantical analysis of modal logic. I. Normal modal propositional calculi. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, 9:67–96, 1963.

A. M. Martins, P. Mateus, and A. Sernadas. Minimization of quantum automata. Preprint, CLC, Department of Mathematics, Instituto Superior Técnico, 1049001 Lisboa, Portugal, 2005. Submitted for publication.

P. Mateus and A. Sernadas. Exogenous quantum logic. In W. A. Carnielli, F. M. Dionísio, and P. Mateus, editors, Proceedings of CombLog'04, Workshop on Combination of Logics: Theory and Applications, pages 141–149, 1049001 Lisboa, Portugal, 2004. Departamento de Matemática, Instituto Superior Técnico. Extended abstract.

P. Mateus and A. Sernadas. Reasoning about quantum systems. In J. Alferes and J. Leite, editors, Logics in Artificial Intelligence, Ninth European Conference, JELIA'04, volume 3229 of Lecture Notes in Artificial Intelligence, pages 239–251. SpringerVerlag, 2004.

P. Mateus, A. Sernadas, and C. Sernadas. Exogenous semantics approach to enriching logics. Preprint, CLC, Department of Mathematics, Instituto Superior Técnico, 1049001 Lisboa, Portugal, 2005. Submitted for publication.

P. Naur. Revised report on the algorithmic language Algol 60. The Computer Journal, 5:349–367, 1963.

M. A. Nielsen and I. L. Chuang. Quantum Computation and Quantum Information. Cambridge University Press, 2000.

N. J. Nilsson. Probabilistic logic. Artificial Intelligence, 28(1):71–87, 1986.

N. J. Nilsson. Probabilistic logic revisited. Artificial Intelligence, 59(12):39–42, 1993.

R. van der Meyden and M. Patra. Knowledge in quantum systems. In M. Tennenholtz, editor, Theoretical Aspects of Rationality and Knowledge, pages 104–117. ACM, 2003.

R. van der Meyden and M. Patra. A logic for probability in quantum systems. In M. Baaz and J. A. Makowsky, editors, Computer Science Logic, volume 2803 of Lecture Notes in Computer Science, pages 427–440. SpringerVerlag, 2003.