Effective replaceability of the omega-rule for restricted sequents of the first-order linear temporal logic

DOI10.1023/A:1012810630160zbMath1019.03013OpenAlexW130254228MaRDI QIDQ1873220

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:1012810630160

zbMATH Keywords

sequent calculus without loop rulesfirst-order linear temporal logic\(\omega\)-rule

Mathematics Subject Classification ID

Structure of proofs (03F07) Temporal logic (03B44)

Related Items (1)

Invertible infinitary calculus without loop rules for restricted FTL

This page was built for publication: Effective replaceability of the omega-rule for restricted sequents of the first-order linear temporal logic