Investigation of finitary calculus for a discrete linear time logic by means of infinitary calculus

DOI10.1007/BFb0019366zbMath1415.03034OpenAlexW2034315792MaRDI QIDQ4560364

Regimantas Pliuškevičius

Publication date: 11 December 2018

Published in: Baltic Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bfb0019366

zbMATH Keywords

temporal logiclinear temporal logicsequential calculusatomic formulapropositional variable

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Temporal logic (03B44)

Related Items (5)

Refutation-aware Gentzen-style calculi for propositional until-free linear-time temporal logic ⋮ Cut-free sequent systems for temporal logic ⋮ Bounded linear-time temporal logic: a proof-theoretic investigation ⋮ Dual systems of tableaux and sequents for PLTL ⋮ Invertible infinitary calculus without loop rules for restricted FTL

Cites Work

• Concerning the semantic consequence relation in first-order temporal logic
• Sequential Calculus for a First Order Infinitary Temporal Logic
• Bounds for proof-search and speed-up in the predicate calculus
• Decidability of some intuitionistic predicate theories
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Investigation of finitary calculus for a discrete linear time logic by means of infinitary calculus