1. Aerts, D.: Description of compound physical systems and logical interaction of physical systems. In: Beltrametti, E.G., van Fraassen, B.C. (eds.) Current Issues on Quantum Logic, Ettore Majorana, International Science Series, Physical Sciences, vol. 8, pp. 381–405. Kluwer Academic, Dordrecht (1981)
2. Abramsky, S., Coecke, B.: A categorical semantics of quantum protocols. In: Proceedings of the 19th IEEE Conference on Logic in Computer Science (LiCS’04). Available at arXiv:quant-ph/0402130
3. Abramsky, S., Duncan, R.: A categorical quantum logic. Math. Struct. Comput. Sci. 469–489 (2006)
4. Baltag, A., Moss, L., van Ditmarsch, H.: Epistemic logic and information update. In: Handbook on the Philosophy of Information. Elsevier, Amsterdam (2008)
5. Baltag, A., Smets, S.: The logic of quantum programs. In: Selinger, P. (ed.) Proceedings of the 2nd International Workshop on Quantum Programming Languages (QPL2004). TUCS General Publication, vol. 33, pp. 39–56. Turku Center for Computer Science (2004). PHILSCI00001799