scientific article; zbMATH DE number 4197951

MaRDI QIDQ5202986zbMATH OpenFDO

Authors Jūratė Sakalauskaitė

Publication date 1989

zbMATH Keywords

Completenesscut-eleminationinfinitary sequential calculusfirst-order branching time temporal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05)

Recommendations

• Cut-free sequent systems for temporal logic
• Typed Lambda Calculi and Applications
• Cut-elimination and completeness in dynamic topological and linear-time temporal logics
• Cut-free calculi and relational semantics for temporal STIT logics
• Partial cut elimination for propositional discrete linear time temporal logic
• CUT ELIMINATION IN HYPERSEQUENT CALCULUS FOR SOME LOGICS OF LINEAR TIME
• Cut-free sequent calculi for some tense logics
• Sequential Calculus for a First Order Infinitary Temporal Logic
• scientific article; zbMATH DE number 5790393
• scientific article; zbMATH DE number 777292

Cited in

(1)

• Partial cut elimination for propositional discrete linear time temporal logic

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 Q5202986)