Contents 1 Introduction 3 2 Orthomodular quantum logic and orthologic 11 3 The implication problem 22 4 Metalogical properties and anomalies 28 5 A modal interpretation of OL and OQL 32 6 An axiomatization of OL and OQL 35 7 The intractability of or
JoÅNel Ouaknine and James Worrell Abstract. Metric Temporal Logic (MTL) is a widely-studied real-time extension of Linear Temporal Logic. In this paper we survey results about the complexity of the satisfiability and model checking problems for frag
Temporal logics provide a generic logical framework for modelling and reasoning about time and temporal aspects of the world. While stemming from philosophical considerations and discussions, temporal logics have become over the past 50 years very u