scientific article; zbMATH DE number 1222565

zbMath0912.03011MaRDI QIDQ4218103

Alexander Rabinovich

Publication date: 11 November 1998

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

expressive powerconcurrencymonadic second-order logic of orderfragment of Temporal Logic of Actions

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Decidability of theories and sets of sentences (03B25)

Related Items (3)

On translations of temporal logic of actions into monadic second-order logic ⋮ Temporal agent programs ⋮ Specification Languages for Stutter-Invariant Regular Properties

This page was built for publication: