Duality and the completeness of the modal \(\mu\)-calculus
category of modal algebras with homomorphisms
category of descriptive modal frames with contractions
scientific article; zbMATH DE number 984710
scientific article