temporal logic of actions

/T EH1 M P ER0 AH0 L AA0 JH IH0 K AH0 V AE0 K SH AH0 N Z/

1
a logic developed by Leslie Lamport, which combines temporal logic with a logic of actions.

Translate “temporal logic of actions” into another language

Choose a language below to open the translator with English selected as the source language.