A Syntactical Proof of the Canonical Reactivity Form for Past Linear Temporal Logic

DOI10.1093/LOGCOM/EXN002zbMath1158.03011OpenAlexW1970635712MaRDI QIDQ3520238

Dimitar P. Guelev

Publication date: 15 August 2008

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

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

zbMATH Keywords

separationlinear temporal logiccanonical reactivity normal form

Mathematics Subject Classification ID

Temporal logic (03B44)

Related Items (1)

A separation theorem for discrete-time interval temporal logic

This page was built for publication: A Syntactical Proof of the Canonical Reactivity Form for Past Linear Temporal Logic