1. Abramsky, S., and B. Coecke, ‘A Categorical Semantics of Quantum Protocols’, in the proceedings of the 19th IEEE conference on Logic in Computer Science (LiCS’04). Available at arXiv:quant-ph/0402130.
2. Aerts, D., ‘Description of compound physical systems and logical interaction of physical systems’, in E.G. Beltrametti, and B. C. van Fraassen (eds.), Current Issues on Quantum Logic, Ettore Majorana, International Science Series, Physical Sciences, vol. 8. Dordrecht: Kluwer Academic, 1981, pp. 381–405
3. Amira H., Coecke B. and Stubbe I. (1998). ‘How Quantales Emerge by Introducing Induction within the Operational Approach’. Helvetica Physica Acta 71: 554–572
4. Baltag A. and Moss L. (2004). ‘Logics for Epistemic Programs’. Synthese 139: 165–224
5. Baltag, A., L. Moss, and H. van Ditmarsch, ‘Epistemic Logic and Information Update’, Handbook on the Philosophy of Information, in press.