Canonical completeness of infinitary \(\mu \)

DOI10.1016/j.jlap.2008.02.005zbMath1156.68013OpenAlexW2091739821MaRDI QIDQ941442

Thomas Studer, Mathis Kretz, Gerhard Jäger

Publication date: 1 September 2008

Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL: https://boris.unibe.ch/37095/1/jks08.pdf

zbMATH Keywords

propositional modal \(\mu \)-calculus

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (7)

A Buchholz rule for modal fixed point logics ⋮ Effective cut-elimination for a fragment of modal mu-calculus ⋮ Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017 ⋮ Completeness for the modal \(\mu\)-calculus: separating the combinatorics from the dynamics ⋮ Syntactic cut-elimination for a fragment of the modal mu-calculus ⋮ On the proof theory of the modal mu-calculus ⋮ SMALL INFINITARY EPISTEMIC LOGICS

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Results on the propositional \(\mu\)-calculus
• A finite model theorem for the propositional \(\mu\)-calculus
• An automata theoretic decision procedure for the propositional mu- calculus
• A note on model checking the modal \(\nu\)-calculus
• Local model checking in the modal mu-calculus
• Elementary induction on abstract structures
• Propositional dynamic logic of regular programs
• The modal mu-calculus alternation hierarchy is strict
• About cut elimination for logics of common knowledge
• Completeness of Kozen's axiomatisation of the propositional \(\mu\)-calculus.
• Cut-free common knowledge
• Automata for the modal μ-calculus and related results
• -Calculus with Explicit Points and Approximations
• Rudiments of \(\mu\)-calculus
• On model checking for the \(\mu\)-calculus and its fragments

This page was built for publication: Canonical completeness of infinitary \(\mu \)