Expressiveness for Highly Nested Expressions in Linear Temporal Logic

DOI10.1093/logcom/4.3.263zbMath0802.03015OpenAlexW2121212904MaRDI QIDQ4304494

William P. R. Mitchell

Publication date: 12 December 1994

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/4.3.263

zbMATH Keywords

temporal logicmodalitiesuntilalwayssometimesnext

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

This page was built for publication: Expressiveness for Highly Nested Expressions in Linear Temporal Logic