Concept

Temporal logic of actions

Overview

Logic used to describe behaviours of concurrent systems.

Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).

Related ideas

• Temporal logic

Place in the tradition

Part of Temporal logic.

Explore Temporal logic of actions in the interactive graph →