Quantum State Transformations and Branching Distributed Temporal Logic - (Invited Paper)
暂无分享,去创建一个
[1] Dov M. Gabbay,et al. Handbook of Quantum logic and Quantum Structures , 2007 .
[2] Mordechai Ben-Ari,et al. The temporal logic of branching time , 1981, POPL '81.
[3] J. Girard. Proof Theory and Logical Complexity , 1989 .
[4] J. Neumann,et al. The Logic of Quantum Mechanics , 1936 .
[5] Dov M. Gabbay,et al. A New Approach to Quantum Logic , 2007 .
[6] Luca Viganò,et al. Labelled non-classical logics , 2000 .
[7] Luca Viganò,et al. A Qualitative Modal Representation of Quantum Register Transformations , 2008, 38th International Symposium on Multiple Valued Logic (ismvl 2008).
[8] D. Prawitz. Natural Deduction: A Proof-Theoretical Study , 1965 .
[9] Peter Mittelstaedt. The modal logic of quantum logic , 1979, J. Philos. Log..
[10] Luca Viganò,et al. Modal Deduction Systems for Quantum State Transformations , 2011, J. Multiple Valued Log. Soft Comput..
[11] W. Marsden. I and J , 2012 .
[12] Gilles Brassard,et al. Quantum cryptography: Public key distribution and coin tossing , 2014, Theor. Comput. Sci..
[13] Luca Viganò,et al. A Labeled Deduction System for the Logic UB , 2013, 2013 20th International Symposium on Temporal Representation and Reasoning.
[14] Luca Viganò,et al. Distributed temporal logic for the analysis of security protocol models , 2011, Theor. Comput. Sci..
[15] Rajagopal Nagarajan,et al. QMC: A Model Checker for Quantum Systems , 2007, CAV.
[16] Alexandru Baltag,et al. LQP: the dynamic logic of quantum information , 2006, Mathematical Structures in Computer Science.
[17] Glynn Winskel,et al. Event Structures , 1986, Advances in Petri Nets.
[18] Alex K. Simpson,et al. The proof theory and semantics of intuitionistic modal logic , 1994 .
[19] Dov M. Gabbay,et al. Chapter 13 – Labelled Deductive Systems , 2003 .
[20] Alexandru Baltag,et al. Quantum logic as a dynamic logic , 2011, Synthese.
[21] Alessio Lomuscio,et al. Automatic verification of parameterised multi-agent systems , 2013, AAMAS.
[22] Thierry Paul,et al. Quantum computation and quantum information , 2007, Mathematical Structures in Computer Science.
[23] Dov M. Gabbay,et al. Labelled Deductive Systems: Volume 1 , 1996 .
[24] Karl Svozil,et al. Quantum Logic , 1998, Discrete mathematics and theoretical computer science.
[25] John L. Bell,et al. A New Approach to Quantum Logic , 1986, The British Journal for the Philosophy of Science.
[26] Samson Abramsky,et al. A categorical quantum logic , 2006, Math. Struct. Comput. Sci..
[27] Luca Viganò,et al. Labelled Tableaux for Distributed Temporal Logic , 2009, J. Log. Comput..
[28] Hans-Dieter Ehrich,et al. Specifying communication in distributed information systems , 2000, Acta Informatica.
[29] Alexandru Baltag,et al. The Logic of Quantum Programs , 2004, ArXiv.