@InProceedings{kurz_et_al:LIPIcs.CALCO.2023.17, author = {Kurz, Alexander and Poiger, Wolfgang}, title = {{Many-Valued Coalgebraic Logic: From Boolean Algebras to Primal Varieties}}, booktitle = {10th Conference on Algebra and Coalgebra in Computer Science (CALCO 2023)}, pages = {17:1--17:17}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-287-7}, ISSN = {1868-8969}, year = {2023}, volume = {270}, editor = {Baldan, Paolo and de Paiva, Valeria}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2023.17}, URN = {urn:nbn:de:0030-drops-188147}, doi = {10.4230/LIPIcs.CALCO.2023.17}, annote = {Keywords: coalgebraic modal logic, many-valued logic, primal algebras, algebraic semantics, presenting functors} }