Investigation of the relationship between quantum finite automata and linear temporal logic is a natural goal. ABSTRACT: We define a quantum temporal logic, QTL, for the specification of the concurrent quantum programs. The logic is designed around the We pro- … One can try to "save" it by slapping temporal labels on sentences and adding something like "at the same time", this is similar to the idea of quantum logic, it is called temporal logic, there is a great variety of them, and they are The relationship between theory of automata and logic had a great influence in the computer science. In this chapter we extend Exogenous Quantum Propositional Logic with temporal modalities, considering both linear and branching time. Linear temporal logic is a widely used method for verification of model checking and expressing the system specifications. and a model-checking algorithm to quantum linear temporal logic (QLTL). In quantum mechanics, quantum logic is a set of rules for reasoning about propositions that takes the principles of quantum theory into account. We define a quantum temporal logic, QTL, for the specification of the concurrent quantum programs. A Computational Temporal Logic for Superconducting Accelerators Georgios Tzimpragos UC Santa Barbara [email protected] Dilip Vasudevan Lawrence Berkeley National Lab [email protected] Nestan Tsiskaridze UC Santa 2 Exogenous Quantum Propositional Logic We discuss here brie y the restricted state logic, dEQPLas introduced in [4]. QTL first introduces a concurrent quantum programming model to characterize the behavior of the most general reactive The recent suggestion that a temporal form of quantum logic provides the natural mathematical framework within which to discuss the proposal by Gell-Mann and Hartle for a generalized form of quantum theory based on the ideas of histories and decoherence functionals is analyzed and developed herein. Particular stress is placed on properties of the space of decoherence functionals, …