scientific article
From MaRDI portal
Publication:3496314
zbMath0712.03015MaRDI QIDQ3496314
Publication date: 1989
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
linear temporal logicbranching temporal logicregular logicbranching time logics with regular operatorscut-free Gentzen-systems
Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Cut-elimination and normal-form theorems (03F05)
Related Items (14)
A derivation-loop method for temporal logic ⋮ More efficient proof-search for sequents of temporal logic ⋮ A complete proof system for propositional projection temporal logic ⋮ Refutation-aware Gentzen-style calculi for propositional until-free linear-time temporal logic ⋮ Loop-type sequent calculi for temporal logic ⋮ Temporal prepositions and their logic ⋮ The Proof Theory of Common Knowledge ⋮ Cut-free sequent systems for temporal logic ⋮ Compositional reasoning using intervals and time reversal ⋮ A decision procedure for propositional projection temporal logic with infinite models ⋮ Embedding Linear-Time Temporal Logic into Infinitary Logic: Application to Cut-Elimination for Multi-agent Infinitary Epistemic Linear-Time Temporal Logic ⋮ Bounded linear-time temporal logic: a proof-theoretic investigation ⋮ Dual systems of tableaux and sequents for PLTL ⋮ Loop-check specification for a sequent calculus of temporal logic
This page was built for publication:
