Canonical completeness of infinitary \(\mu \)
type: Item
instance of: scholarly article
title: Canonical completeness of infinitary \(\mu \)
zbMATH Open document ID: 1156.68013
author: Gerhard Jäger
author: Mathis Kretz
author: Thomas Studer
published in: The Journal of Logic and Algebraic Programming
publication date: 2008-09-01T00:00:00Z
full work available at URL: jks08.pdf
Mathematics Subject Classification ID: 68N30
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03B70
zbMATH DE Number: 5318676
zbMATH Keywords: propositional modal \(\mu \)-calculus
MaRDI profile type: Publication
OpenAlex ID: W2091739821
cites work: About cut elimination for logics of common knowledge
cites work: Rudiments of \(\mu\)-calculus
cites work: Q4075450
cites work: The modal mu-calculus alternation hierarchy is strict
cites work: Modal logics and mu-calculi: An introduction
cites work: -Calculus with Explicit Points and Approximations
cites work: On model checking for the \(\mu\)-calculus and its fragments
cites work: Propositional dynamic logic of regular programs
cites work: Q4790403
cites work: Cut-free common knowledge
cites work: Automata for the modal μ-calculus and related results
cites work: Results on the propositional \(\mu\)-calculus
cites work: A finite model theorem for the propositional \(\mu\)-calculus
cites work: Q3919674
cites work: Q4818826
cites work: Elementary induction on abstract structures
cites work: Q4738237
cites work: Q4417874
cites work: Local model checking in the modal mu-calculus
cites work: An automata theoretic decision procedure for the propositional mu- calculus
cites work: Completeness of Kozen's axiomatisation of the propositional \(\mu\)-calculus.
cites work: A note on model checking the modal \(\nu\)-calculus
DOI: 10.1016/J.JLAP.2008.02.005
description: scientific article; zbMATH DE number 5318676