Sekirov Dictionary

temporal logic

noun1

A form of symbolic logic used to reason about properties of statements related to order and duration.

forms

temporal logics

This dictionary works without the internet: on your phone · in Chrome