About this document
Temporal Logic by Yde Venema by Giorgi Giorgi is a document available to read on EtoBox.
This document provides an overview of temporal logic and different mathematical models of time. It discusses some key aspects and properties of time, including: - Time can be modeled as a set of time points ordered by a precedence relation, forming a "flow of time." - Standard examples of flows of time include the natural numbers, integers, rational numbers, and real numbers. - Properties of flows of time include irreflexivity, transitivity, linearity, density, discreteness, continuity, and whether time is
- Author
- Giorgi Giorgi
- Language
- EN