scientific article; zbMATH DE number 1361129

zbMath0934.03026MaRDI QIDQ4270065

Arkady Estrin, Michael Kaminski

Publication date: 10 November 1999

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

zbMATH Keywords

validitysatisfiabilitytemporal logic of actionssecond-order temporal logic

Mathematics Subject Classification ID

Logic in computer science (03B70) Temporal logic (03B44)

This page was built for publication: