Duality for modal \(\mu\)-logics

DOI10.1016/S0304-3975(97)00233-8zbMath0909.03021MaRDI QIDQ1128984

Chrysafis Hartonas

Publication date: 13 August 1998

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

dualitypropositional modal logicsKripke semanticsmodal algebrasfixpoint operatorsmodal \(\mu\)-calculi

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other algebras related to logic (03G25)

Related Items

A fixpoint approach to finite delay and fairness ⋮ Remarks on hyperspaces for Priestley spaces ⋮ On the equational definition of the least prefixed point. ⋮ Sahlqvist theorem for modal fixed point logic ⋮ On the dynamic logic of agency and action ⋮ Full abstractness for a functional/concurrent language with higher-order value-passing

Cites Work

• Modal logics for communicating systems
• A duality for Boolean algebras with operators
• Duality and the completeness of the modal \(\mu\)-calculus
• Results on the propositional \(\mu\)-calculus
• Topology and duality in modal logic
• A finite model theorem for the propositional \(\mu\)-calculus
• A fixpoint approach to finite delay and fairness
• Domain theory in logical form
• Duality for lattice-ordered algebras and for normal algebraizable logics
• Semantics for finite delay
• Distributive lattices with a dual homomorphic operation. II
• Completeness of Kozen's axiomatisation of the propositional \(\mu\)-calculus.
• Positive modal logic
• A domain equation for bisimulation
• Varieties of complex algebras
• Algebraic semantics for modal logics I
• Representation of Distributive Lattices by means of ordered Stone Spaces
• Boolean Algebras with Operators
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item