Duality and the completeness of the modal \(\mu\)-calculus
type: Item
instance of: scholarly article
title: Duality and the completeness of the modal \(\mu\)-calculus
zbMATH Open document ID: 0872.03010
DOI: 10.1016/0304-3975(95)00045-X
author: Simon J. Ambler
author: Marta Kwiatkowska
author: Nicholas Measor
published in: Theoretical Computer Science
publication date: 1997-02-27T00:00:00Z
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 03G25
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 984710
zbMATH Keywords: modal \(\mu\)-calculus
zbMATH Keywords: finitary modal logic
zbMATH Keywords: fixed points
zbMATH Keywords: monotone operators
zbMATH Keywords: category of modal algebras with homomorphisms
zbMATH Keywords: category of descriptive modal frames with contractions
zbMATH Keywords: proof systems
MaRDI profile type: Publication
cites work: Domain theory in logical form
cites work: Duality beyond sober spaces: Topological spaces and observation frames
cites work: An incomplete logic containing S4
cites work: Q3738540
cites work: Q5610986
cites work: Q4128789
cites work: Q3282928
cites work: Q3026978
cites work: Q3965241
cites work: Q3939782
cites work: Results on the propositional \(\mu\)-calculus
cites work: A finite model theorem for the propositional \(\mu\)-calculus
cites work: Proof systems for satisfiability in Hennessy-Milner logic with recursion
cites work: Fixed point theorems and semantics: A folk tale
cites work: Q3730012
cites work: Q3906397
cites work: Topology and duality in modal logic
cites work: Q5585437
cites work: Q3316563
cites work: An incompleteness theorem in modal logic
cites work: Q3994458
full work available at URL: 0304-3975(95)00045-x
OpenAlex ID: W2080427861
description: scientific article; zbMATH DE number 984710