Infinitary calculus for a restricted first-order linear temporal logic without contraction on quantified formulas

DOI10.1007/BF02465850zbMath0957.03026MaRDI QIDQ1589838

Regimantas Pliuškevičius

Publication date: 25 February 2001

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

zbMATH Keywords

linear temporal logiccontraction-free calculusinfinitary sequential calculus

Mathematics Subject Classification ID

Temporal logic (03B44)

Related Items

Invertible infinitary calculus without loop rules for restricted FTL

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Concerning the semantic consequence relation in first-order temporal logic
• A complete axiomatic characterization of first-order temporal logic of linear time
• Bounds for cut elimination in intuitionistic propositional logic
• Beweistheoretische Erfassung der unendlichen Induktion in der Zahlentheorie
• On ω-consistency and related properties
• Sequential Calculus for a First Order Infinitary Temporal Logic
• Contraction-free sequent calculi for intuitionistic logic
• A completeness proof for an infinitary tense-logic
• A Machine-Oriented Logic Based on the Resolution Principle