A quick axiomatisation of LTL with past

DOI10.1002/MALQ.200410009zbMath1058.03023OpenAlexW2027924374MaRDI QIDQ3159405

Martin Lange

Publication date: 16 February 2005

Published in: MLQ (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.200410009

zbMATH Keywords

axiomatisationfocus gameLinear Time Temporal Logic

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Related Items (2)

Branching time logics \(\mathcal {BTL}^{\text{U,S}}_{\text{N},\text{N}^{-1}}(\mathcal {Z})_{\alpha }\) with operations \textit{Until} and \textit{Since} based on bundles of integer numbers, logical consecutions, deciding algorithms ⋮ Linear temporal logic with until and next, logical consecutions

This page was built for publication: A quick axiomatisation of LTL with past