Systematic Construction of Temporal Logics for Dynamical Systems via Coalgebra

Baltasar Trancón y Widemann

Temporal logics are an obvious high-level descriptive companion formalism to dynamical systems which model behavior as deterministic evolution of state over time. A wide variety of…