Publication:2847816
From MaRDI portal
zbMath1271.03031MaRDI QIDQ2847816
Alexander Kurz, Dirk Pattinson, Clemens Kupke
Publication date: 11 September 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066104051771
03B45: Modal logic (including the logic of norms)
03G30: Categorical logic, topoi
18C50: Categorical semantics of formal languages
Related Items
Presenting functors on many-sorted varieties and applications, Coalgebraic representations of distributive lattices with operators, 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, A finite model construction for coalgebraic modal logic