scientific article
From MaRDI portal
Publication:3085167
zbMath1233.03029MaRDI QIDQ3085167
Clemens Kupke, Alexander Kurz, Yde Venema
Publication date: 30 March 2011
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Categorical logic, topoi (03G30)
Related Items (7)
Complementation of Coalgebra Automata ⋮ Proof systems for Moss' coalgebraic logic ⋮ Modalities in the Stone age: a comparison of coalgebraic logics ⋮ Completeness for flat modal fixpoint logics ⋮ Coalgebraic semantics of modal logics: an overview ⋮ Refinement modal logic ⋮ Equational Coalgebraic Logic
This page was built for publication:
