Free Modal Algebras: A Coalgebraic Perspective
From MaRDI portal
Publication:3612489
DOI10.1007/978-3-540-73859-6_10zbMath1214.03052MaRDI QIDQ3612489
Nick Bezhanishvili, Alexander Kurz
Publication date: 10 March 2009
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-540-73859-6_10
Related Items
The bounded proof property via step algebras and step frames, Free Heyting Algebras: Revisited, Distributive Lattice-Structured Ontologies