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

DOI10.1007/BF02465850zbMATH Open0957.03026MaRDI QIDQ1589838FDOQ1589838

Authors: R. Pliuškevičius 

Publication date: 25 February 2001

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

Recommendations

• Infinitary calculus without loop rules for restricted sequents of the first-order linear temporal logic
• Invertible infinitary calculus without loop rules for restricted FTL
• scientific article; zbMATH DE number 4210108
• scientific article; zbMATH DE number 1678387
• An approach to infinitary temporal proof theory

zbMATH Keywords

linear temporal logiccontraction-free calculusinfinitary sequential calculus

Mathematics Subject Classification ID

Temporal logic (03B44)

Cites Work

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

Cited In (7)

• Invertible infinitary calculus without loop rules for restricted FTL
• A formal system of first-order predicate calculus with infinitely long expressions
• An approach to infinitary temporal proof theory
• Investigation of finitary calculus for a discrete linear time logic by means of infinitary calculus
• Tense calculus and its refinement without \(\infty\)
• Infinitary calculus without loop rules for restricted sequents of the first-order linear temporal logic
• Sequential Calculus for a First Order Infinitary Temporal Logic

This page was built for publication: Infinitary calculus for a restricted first-order linear temporal logic without contraction on quantified formulas

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1589838)