scientific article; zbMATH DE number 4197951

zbMATH Open0726.03007MaRDI QIDQ5202986FDOQ5202986

Jūratė Sakalauskaitė

Publication date: 1989

Title of this publication is not available (Why is that?)

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

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)

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)