scientific article; zbMATH DE number 3860378

MaRDI QIDQ3327708zbMATH OpenFDO

Authors Manfred E. Szabo

Publication date 1983

zbMATH Keywords

cut-eliminationprogramming logicsequential formulation of Kröger's logic for algorithmic reasoningtemporal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05) Abstract data types; algebraic specification (68Q65)

Recommendations

• Sequential Calculus for a First Order Infinitary Temporal Logic
• A sequent calculus for a logic of contingencies
• scientific article; zbMATH DE number 970622
• Cut-free sequent calculi for some tense logics
• A contraction-free and cut-free sequent calculus for propositional dynamic logic

Cited in

(6)

• Kripke Semantics for Basic Sequent Systems
• Embedding Linear-Time Temporal Logic into Infinitary Logic: Application to Cut-Elimination for Multi-agent Infinitary Epistemic Linear-Time Temporal Logic
• Refutation-aware Gentzen-style calculi for propositional until-free linear-time temporal logic
• A unified Gentzen-style framework for until-free LTL
• Unified sequent calculi and natural deduction systems for until-free linear-time temporal logics
• Bounded linear-time temporal logic: a proof-theoretic investigation

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