A quick axiomatisation of LTL with past
From MaRDI portal
Publication:3159405
DOI10.1002/malq.200410009zbMath1058.03023MaRDI QIDQ3159405
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
Related Items
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