A One-Pass Tree-Shaped Tableau for LTL+Past

DOI10.29007/3hb9zbMath1402.03026OpenAlexW2740520395MaRDI QIDQ4645753

Nicola Gigante, Angelo Montanari, M. A. Reynolds

Publication date: 10 January 2019

Published in: EPiC Series in Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.29007/3hb9

zbMATH Keywords

tableauxlinear temporal logicpast operators

Mathematics Subject Classification ID

Temporal logic (03B44)

Related Items (3)

Unnamed Item ⋮ Unnamed Item ⋮ One-pass and tree-shaped tableau systems for TPTL and \(\mathrm{TPTL_b+Past}\)

This page was built for publication: A One-Pass Tree-Shaped Tableau for LTL+Past