scientific article; zbMATH DE number 4210108

MaRDI QIDQ3358711zbMATH OpenFDO

Authors R. Pliuškevičius

Publication date 1990

zbMATH Keywords

completenesscut-eliminationinfinitary calculilinear temporal logicsequential calculustemporal logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Cut-elimination and normal-form theorems (03F05)

Recommendations

• Investigation of finitary calculus for a discrete linear time logic by means of infinitary calculus
• scientific article; zbMATH DE number 1678382
• Sequential Calculus for a First Order Infinitary Temporal Logic
• Infinitary calculus for a restricted first-order linear temporal logic without contraction on quantified formulas
• An approach to infinitary temporal proof theory

Cited in

(23)

• Syntactic cut-elimination for common knowledge
• Infinitary calculus for a restricted first-order linear temporal logic without contraction on quantified formulas
• An approach to infinitary temporal proof theory
• A small remark on Hilbert's finitist view of divisibility and Kanovich-Okada-Scedrov's logical analysis of real-time systems
• Loop-check specification for a sequent calculus of temporal logic
• Invertible infinitary calculus without loop rules for restricted FTL
• scientific article; zbMATH DE number 1678382 (Why is no real title available?)
• Kripke incompleteness of first-order calculi with temporal modalities of CTL and near logics
• Cut-elimination and completeness in dynamic topological and linear-time temporal logics
• scientific article; zbMATH DE number 991155 (Why is no real title available?)
• VARIABLE TRUTH
• Sequential Calculus for a First Order Infinitary Temporal Logic
• scientific article; zbMATH DE number 1292306 (Why is no real title available?)
• scientific article; zbMATH DE number 1337627 (Why is no real title available?)
• Temporal logic of linearly ordered -spaces
• Investigation of finitary calculus for a discrete linear time logic by means of infinitary calculus
• Syntactic cut-elimination for common knowledge
• The Recursion Scheme from the Cofree Recursive Comonad
• Tense calculus and its refinement without
• Infinitary calculus without loop rules for restricted sequents of the first-order linear temporal logic
• Global condition check strategy for a cyclic sequent calculus of temporal logic
• Syntactic cut-elimination for a fragment of the modal mu-calculus
• The temporal logic of inductive frames with linear time

This page was built for publication:

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