scientific article; zbMATH DE number 4170873

MaRDI QIDQ3496314zbMATH OpenFDO

Authors Barbara Paech

Publication date 1989

zbMATH Keywords

branching temporal logicbranching time logics with regular operatorscut-free Gentzen-systemslinear temporal logicregular logic

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

• Propositional temporal logics: decidability and completeness
• A complete proof system for propositional projection temporal logic
• scientific article; zbMATH DE number 3877151
• Refutation-aware Gentzen-style calculi for propositional until-free linear-time temporal logic
• Constructive linear-time temporal logic: proof systems and Kripke semantics
• The axiomatization of propositional linear time temporal logic
• A propositional logic of temporal connectives
• A proof system for a unified temporal logic
• scientific article; zbMATH DE number 512851
• Publication:4864475

Cited in

(21)

• Dual systems of tableaux and sequents for PLTL
• A Gentzen system for conditional logic
• Loop-check specification for a sequent calculus of temporal logic
• Loop-type sequent calculi for temporal logic
• Compositional reasoning using intervals and time reversal
• Temporal prepositions and their logic
• A decision procedure for propositional projection temporal logic with infinite models
• The proof theory of common knowledge
• scientific article; zbMATH DE number 3877151 (Why is no real title available?)
• Embedding Linear-Time Temporal Logic into Infinitary Logic: Application to Cut-Elimination for Multi-agent Infinitary Epistemic Linear-Time Temporal Logic
• A complete proof system for propositional projection temporal logic
• scientific article; zbMATH DE number 1405878 (Why is no real title available?)
• A derivation-loop method for temporal logic
• More efficient proof-search for sequents of temporal logic
• Refutation-aware Gentzen-style calculi for propositional until-free linear-time temporal logic
• A unified Gentzen-style framework for until-free LTL
• Global condition check strategy for a cyclic sequent calculus of temporal logic
• Compositional reasoning using interval temporal logic and Tempura
• Unified sequent calculi and natural deduction systems for until-free linear-time temporal logics
• Bounded linear-time temporal logic: a proof-theoretic investigation
• Cut-free sequent systems for 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 Q3496314)