scientific article
From MaRDI portal
Publication:2847811
zbMath1271.03029MaRDI QIDQ2847811
Clemens Kupke, Helle Hvid Hansen
Publication date: 11 September 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066104051722
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (21)
Coalgebraic Geometric Logic: Basic Theory ⋮ Monotone subintuitionistic logic: duality and transfer results ⋮ Coalgebraic representations of distributive lattices with operators ⋮ Hennessy-Milner properties via topological compactness ⋮ Generic weakest precondition semantics from monads enriched with order ⋮ Cut elimination in coalgebraic logics ⋮ Algebraic properties of stochastic effectivity functions ⋮ Modalities in the Stone age: a comparison of coalgebraic logics ⋮ Unnamed Item ⋮ Lax Liftings and Lax Distributive Laws ⋮ Properties of saturation in monotonic neighbourhood models and some applications ⋮ Monotonic modal logics with a conjunction ⋮ Positive monotone modal logic ⋮ Expressivity of coalgebraic modal logic: the limits and beyond ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Equational Coalgebraic Logic ⋮ EXPTIME Tableaux for the Coalgebraic μ-Calculus ⋮ NP reasoning in the monotone \(\mu\)-calculus ⋮ Lax extensions of coalgebra functors and their logic ⋮ Admissibility of Cut in Coalgebraic Logics
This page was built for publication: