Pages that link to "Item:Q703528"
From MaRDI portal
The following pages link to A coalgebraic view on positive modal logic (Q703528):
Displayed 6 items.
- Proof systems for Moss' coalgebraic logic (Q402120) (← links)
- Coalgebraic representations of distributive lattices with operators (Q869666) (← links)
- Positive monotone modal logic (Q2243549) (← links)
- Finitary coalgebraic multisemilattices and multilattices. (Q2249004) (← links)
- Remarks on hyperspaces for Priestley spaces (Q2680995) (← links)
- Analyzing completeness of axiomatic functional systems for temporal × modal logics (Q3406454) (← links)