Pages that link to "Item:Q703528"
From MaRDI portal
The following pages link to A coalgebraic view on positive modal logic (Q703528):
Displaying 15 items.
- Proof systems for Moss' coalgebraic logic (Q402120) (← links)
- Natural duality, modality, and coalgebra (Q418910) (← links)
- Coalgebraic representations of distributive lattices with operators (Q869666) (← links)
- A coalgebraic view of Heyting duality (Q1419380) (← links)
- Positive monotone modal logic (Q2243549) (← links)
- Finitary coalgebraic multisemilattices and multilattices. (Q2249004) (← links)
- Remarks on hyperspaces for Priestley spaces (Q2680995) (← links)
- Coalgebraic semantics for positive modal logic (Q2843730) (← links)
- Coalgebras and modal expansions of logics (Q2847817) (← links)
- An institutional approach to positive coalgebraic logic (Q3133183) (← links)
- Analyzing completeness of axiomatic functional systems for temporal × modal logics (Q3406454) (← links)
- (Q4580204) (← links)
- Priestley duality, a Sahlqvist theorem and a Goldblatt-Thomason theorem for positive modal logic (Q4934881) (← links)
- Modal compact Hausdorff spaces (Q5176544) (← links)
- Many-valued coalgebraic logic over semi-primal varieties (Q6597956) (← links)