Infinitary calculus for a restricted first-order linear temporal logic without contraction on quantified formulas
From MaRDI portal
(Redirected from Publication:1589838)
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
Cites work
- scientific article; zbMATH DE number 4152372 (Why is no real title available?)
- scientific article; zbMATH DE number 3732007 (Why is no real title available?)
- scientific article; zbMATH DE number 88991 (Why is no real title available?)
- scientific article; zbMATH DE number 3558938 (Why is no real title available?)
- scientific article; zbMATH DE number 1348464 (Why is no real title available?)
- scientific article; zbMATH DE number 481931 (Why is no real title available?)
- scientific article; zbMATH DE number 1088203 (Why is no real title available?)
- scientific article; zbMATH DE number 3326471 (Why is no real title available?)
- scientific article; zbMATH DE number 970622 (Why is no real title available?)
- A Machine-Oriented Logic Based on the Resolution Principle
- A complete axiomatic characterization of first-order temporal logic of linear time
- A completeness proof for an infinitary tense-logic
- Beweistheoretische Erfassung der unendlichen Induktion in der Zahlentheorie
- Bounds for cut elimination in intuitionistic propositional logic
- Concerning the semantic consequence relation in first-order temporal logic
- Contraction-free sequent calculi for intuitionistic logic
- On ω-consistency and related properties
- Sequential Calculus for a First Order Infinitary Temporal Logic
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)
