On the completeness and decidability of the Horn-like fragment of the first-order linear temporal logic

DOI10.1023/A:1013864621946zbMath1026.03012OpenAlexW151660158MaRDI QIDQ1873230

Regimantas Pliuškevičius

Publication date: 19 May 2003

Published in: Lithuanian Mathematical Journal (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1013864621946

zbMATH Keywords

completenessdecidabilityomega-rulefirst-order linear temporal logicHorn-like sequentssaturated \(D_2\)-sequents

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Temporal logic (03B44)

Related Items (1)

Invertible infinitary calculus without loop rules for restricted FTL

This page was built for publication: On the completeness and decidability of the Horn-like fragment of the first-order linear temporal logic