V.1 Introduction

Introduction [Slide 139]

Sofar we have only seen Boolean variables in Interval Temporal Logic. In order to describe the behaviour of systems with a ‘programming language’-like logic like a we need to introduce

• Integer variables
• Temporal variables
• Quantification