Volume 24, Issue 3July 2023Current IssueIssue-in-Progress
Skip Table Of Content Section
research-article
Semantic Analysis of a Linear Temporal Extension of Quantum Logic and Its Dynamic Aspect
Although various dynamic or temporal logics have been proposed to verify quantum protocols and systems, these two viewpoints have not been studied comprehensively enough. We propose Linear Temporal Quantum Logic (LTQL), a linear temporal extension of ...
