Duality for modal -logics

DOI10.1016/S0304-3975(97)00233-8MaRDI QIDQ1128984zbMATH OpenFDO

Authors Chrysafis Hartonas

Publication date 13 August 1998

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

Full work available at URL https://doi.org/10.1016/S0304-3975(97)00233-8

zbMATH Keywords

dualityfixpoint operatorsKripke semanticsmodal \(\mu\)-calculimodal algebraspropositional modal logics

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1555174
• Duality and the completeness of the modal -calculus
• Dual-context calculi for modal logic
• scientific article; zbMATH DE number 7297837
• scientific article; zbMATH DE number 1497877
• Dualities for algebras of Fitting's many-valued modal logics
• Duality in finite many-valued logics
• A MODAL TRANSLATION FOR DUAL-INTUITIONISTIC LOGIC
• A Duality for Algebras of Lattice-Valued Modal Logic

Cites work

• A domain equation for bisimulation
• A duality for Boolean algebras with operators
• A finite model theorem for the propositional \(\mu\)-calculus
• A fixpoint approach to finite delay and fairness
• Algebraic semantics for modal logics I
• Boolean Algebras with Operators
• Completeness of Kozen's axiomatisation of the propositional \(\mu\)-calculus.
• Distributive lattices with a dual homomorphic operation. II
• Domain theory in logical form
• Duality and the completeness of the modal -calculus
• Duality for lattice-ordered algebras and for normal algebraizable logics
• scientific article; zbMATH DE number 3164639 (Why is no real title available?)
• scientific article; zbMATH DE number 4056971 (Why is no real title available?)
• scientific article; zbMATH DE number 3756452 (Why is no real title available?)
• scientific article; zbMATH DE number 41225 (Why is no real title available?)
• scientific article; zbMATH DE number 3501559 (Why is no real title available?)
• scientific article; zbMATH DE number 3554259 (Why is no real title available?)
• scientific article; zbMATH DE number 1028818 (Why is no real title available?)
• scientific article; zbMATH DE number 194916 (Why is no real title available?)
• scientific article; zbMATH DE number 4119603 (Why is no real title available?)
• scientific article; zbMATH DE number 3304085 (Why is no real title available?)
• scientific article; zbMATH DE number 3185026 (Why is no real title available?)
• Modal logics for communicating systems
• Positive modal logic
• Representation of Distributive Lattices by means of ordered Stone Spaces
• Results on the propositional \(\mu\)-calculus
• Semantics for finite delay
• Topology and duality in modal logic
• Varieties of complex algebras

Cited in

(17)

• A fixpoint approach to finite delay and fairness
• Full abstractness for a functional/concurrent language with higher-order value-passing
• On the equational definition of the least prefixed point.
• Duality between modal algebras and neighbourhood frames
• Dualities for modal algebras from the point of view of triples
• Leo Esakia on duality in modal and intuitionistic logics
• Duality in finite many-valued logics
• Remarks on hyperspaces for Priestley spaces
• Sahlqvist theorem for modal fixed point logic
• scientific article; zbMATH DE number 1555174 (Why is no real title available?)
• scientific article; zbMATH DE number 1775483 (Why is no real title available?)
• On the dynamic logic of agency and action
• scientific article; zbMATH DE number 7297837 (Why is no real title available?)
• A MODAL TRANSLATION FOR DUAL-INTUITIONISTIC LOGIC
• Dual realizability in symmetric logic
• Duality and the completeness of the modal -calculus
• Completions of -algebras

This page was built for publication: Duality for modal \(\mu\)-logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1128984)