DOI10.1007/978-3-642-22944-2_8zbMath1343.03048MaRDI QIDQ3090864
Yde Venema, Jort Martinus Bergfeld
Publication date: 2 September 2011 Published in: Algebra and Coalgebra in Computer Science (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1007/978-3-642-22944-2_8
zbMATH Keywords
modal logic; coalgebra; completeness; finite model property; strong completeness
Mathematics Subject Classification ID
03B45: Modal logic (including the logic of norms)
03G30: Categorical logic, topoi