@inproceedings{inproceedings, title  = {{Expressive Quantale-Valued Logics for Coalgebras: An Adjunction-Based Approach}},

 url = {{}},

 year = {{2024}},

 month = {{3}},

 author = {{Beohar H and König B and Forster J and Wild P and Gurke S and Messing K and Schröder L}},

 doi = {{10.4230/LIPIcs.STACS.2024.10}},

 isbn = {{9783959773119}},

 volume = {{289}},

 journal = {{Leibniz International Proceedings in Informatics, LIPIcs}},

 note = {{Accessed on 2024/12/22}}}