scientific article; zbMATH DE number 1304336
From MaRDI portal
Publication:4251067
zbMath0924.03046MaRDI QIDQ4251067
Publication date: 15 November 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
validitydecidabilitysatisfiabilitypredicate transformerschop-operatorcontext-free processextension of modal \(\mu\)-calculusfixpoint logic with choptermination formulae
Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Decidability of theories and sets of sentences (03B25)
Related Items (11)
Propositional dynamic logic of context-free programs and fixpoint logic with chop ⋮ Model Checking the First-Order Fragment of Higher-Order Fixpoint Logic ⋮ On hierarchically developing reactive systems ⋮ Model-checking process equivalences ⋮ Temporal Logic with Recursion. ⋮ Guest editors' preface to special issue on interval temporal logics ⋮ A practical approach to model checking duration calculus using Presburger arithmetic ⋮ Three notes on the complexity of model checking fixpoint logic with chop ⋮ The alternation hierarchy in fixpoint logic with chop is strict too ⋮ Temporal logic with recursion ⋮ Alternating Context-Free Languages and Linear Time μ-Calculus with Sequential Composition
This page was built for publication:
