A coalgebraic view on positive modal logic

DOI10.1016/J.TCS.2004.07.026MaRDI QIDQ703528zbMATH OpenOpenAlexFDO

Authors Alessandra Palmigiano

Publication date 11 January 2005

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

Full work available at URL https://doi.org/10.1016/j.tcs.2004.07.026

zbMATH Keywords

Priestley spacepositive modal logiccoalgebraic semanticspositive modal algebraVietoris functor

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Categorical logic, topoi (03G30)

Recommendations

• Coalgebraic semantics for positive modal logic
• An institutional approach to positive coalgebraic logic
• Positive fragments of coalgebraic logics
• scientific article; zbMATH DE number 6917170
• Positive fragments of coalgebraic logics
• Remarks on hyperspaces for Priestley spaces
• Positive monotone modal logic
• scientific article; zbMATH DE number 5872402
• Expressiveness of positive coalgebraic logic
• A note on the model theory for positive modal logic

Cites work

• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• scientific article; zbMATH DE number 4212991 (Why is no real title available?)
• scientific article; zbMATH DE number 3787631 (Why is no real title available?)
• scientific article; zbMATH DE number 46995 (Why is no real title available?)
• scientific article; zbMATH DE number 3463628 (Why is no real title available?)
• scientific article; zbMATH DE number 3581219 (Why is no real title available?)
• scientific article; zbMATH DE number 1226180 (Why is no real title available?)
• scientific article; zbMATH DE number 1497872 (Why is no real title available?)
• scientific article; zbMATH DE number 1747706 (Why is no real title available?)
• scientific article; zbMATH DE number 1753205 (Why is no real title available?)
• scientific article; zbMATH DE number 194916 (Why is no real title available?)
• scientific article; zbMATH DE number 945663 (Why is no real title available?)
• scientific article; zbMATH DE number 1418447 (Why is no real title available?)
• A coalgebraic view of Heyting duality
• Abstract logics as dialgebras
• Coalgebraic logic
• Coalgebraic modal logic of finite rank
• Coalgebraic semantics for positive modal logic
• Domain theory in logical form
• Functors for coalgebras
• Many-sorted coalgebraic modal logic: A model-theoretic study
• Positive modal logic
• Priestley duality, a Sahlqvist theorem and a Goldblatt-Thomason theorem for positive modal logic
• Varieties of complex algebras

Cited in

(18)

• A coalgebraic view of Heyting duality
• scientific article; zbMATH DE number 6917170 (Why is no real title available?)
• Many-valued coalgebraic logic over semi-primal varieties
• Natural duality, modality, and coalgebra
• Coalgebras and modal expansions of logics
• Priestley duality, a Sahlqvist theorem and a Goldblatt-Thomason theorem for positive modal logic
• Analyzing completeness of axiomatic functional systems for temporal \(\times \) modal logics
• Proof systems for Moss' coalgebraic logic
• An institutional approach to positive coalgebraic logic
• Positive monotone modal logic
• Coalgebraic representations of distributive lattices with operators
• Expressiveness of positive coalgebraic logic
• Modal compact Hausdorff spaces
• Positive fragments of coalgebraic logics
• Coalgebraic semantics for positive modal logic
• Remarks on hyperspaces for Priestley spaces
• Positive fragments of coalgebraic logics
• Finitary coalgebraic multisemilattices and multilattices.

This page was built for publication: A coalgebraic view on positive modal logic

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