Author:
Viganò Luca,Volpe Marco,Zorzi Margherita
Publisher
Springer Berlin Heidelberg
Reference26 articles.
1. Abramsky, S., Duncan, R.: A categorical quantum logic. Math. Structures Comput. Sci. 16(3), 469–489 (2006)
2. Baltag, A., Smets, S.: The logic of quantum programs. In: Proceedings of the 2nd QPL (2004)
3. Baltag, A., Smets, S.: LQP: the dynamic logic of quantum information. Math. Structures Comput. Sci. 16(3), 491–525 (2006)
4. Baltag, A., Smets, S.: Quantum logic as a dynamic logic. Synthese 179(2), 285–306 (2011)
5. Basin, D., Caleiro, C., Ramos, J., Viganò, L.: Labelled tableaux for distributed temporal logic. J. Log. and Comput. 19(6), 1245–1279 (2009)
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献