scientific article

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.

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items

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