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)