Pages that link to "Item:Q2847811"
From MaRDI portal
The following pages link to A coalgebraic perspective on monotone modal logic (Q2847811):
Displaying 23 items.
- Algebraic properties of stochastic effectivity functions (Q406467) (← links)
- Modalities in the Stone age: a comparison of coalgebraic logics (Q418820) (← links)
- Properties of saturation in monotonic neighbourhood models and some applications (Q495833) (← links)
- Cut elimination in coalgebraic logics (Q618171) (← links)
- Coalgebraic representations of distributive lattices with operators (Q869666) (← links)
- Generic weakest precondition semantics from monads enriched with order (Q890376) (← links)
- NP reasoning in the monotone \(\mu\)-calculus (Q2096471) (← links)
- Monotone subintuitionistic logic: duality and transfer results (Q2153831) (← links)
- Monotonic modal logics with a conjunction (Q2238141) (← links)
- Positive monotone modal logic (Q2243549) (← links)
- Lax extensions of coalgebra functors and their logic (Q2341702) (← links)
- Expressivity of coalgebraic modal logic: the limits and beyond (Q2474056) (← links)
- Hennessy-Milner properties via topological compactness (Q2672663) (← links)
- Equational coalgebraic logic (Q2805164) (← links)
- Admissibility of cut in coalgebraic logics (Q2873670) (← links)
- EXPTIME Tableaux for the Coalgebraic μ-Calculus (Q3644748) (← links)
- A MONADIC APPROACH TO THE MODAL THEORY (Q3818372) (← links)
- Coalgebraic Geometric Logic: Basic Theory (Q5060182) (← links)
- (Q5101334) (← links)
- (Q5101337) (← links)
- (Q5875347) (← links)
- Lax Liftings and Lax Distributive Laws (Q6190599) (← links)
- Coalgebraic CTL: fixpoint characterization and polynomial-time model checking (Q6666771) (← links)
