scientific article
From MaRDI portal
Publication:2847816
zbMath1271.03031MaRDI QIDQ2847816
Dirk Pattinson, Clemens Kupke, Alexander Kurz
Publication date: 11 September 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066104051771
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Categorical logic, topoi (03G30) Categorical semantics of formal languages (18C50)
Related Items
On a categorical framework for coalgebraic modal logic ⋮ A Characterisation of Expressivity for Coalgebraic Bisimulation and Simulation ⋮ Coalgebraic Geometric Logic: Basic Theory ⋮ A finite model construction for coalgebraic modal logic ⋮ Coalgebraic representations of distributive lattices with operators ⋮ Coalgebraic completeness-via-canonicity for distributive substructural logics ⋮ Presenting functors on many-sorted varieties and applications ⋮ Preservation and reflection of bisimilarity via invertible steps ⋮ Modalities in the Stone age: a comparison of coalgebraic logics ⋮ Unnamed Item ⋮ Smooth coalgebra: testing vector analysis ⋮ Coalgebraic semantics of modal logics: an overview ⋮ Intuitionistic fixed point logic ⋮ Unnamed Item ⋮ A duality for the algebras of a Łukasiewicz \(n+1\)-valued modal system ⋮ Modular construction of complete coalgebraic logics ⋮ Expressivity of coalgebraic modal logic: the limits and beyond ⋮ Coalgebraic Completeness-via-Canonicity ⋮ Coalgebraic logics \& duality ⋮ Equational Coalgebraic Logic ⋮ Expressivity of Many-Valued Modal Logics, Coalgebraically ⋮ Functorial Coalgebraic Logic: The Case of Many-sorted Varieties