TY - GEN T1 - Expressive Quantale-valued Logics for Coalgebras: an Adjunction-based Approach T2 - arXiv PY - 2023/10/09 AU - Beohar H AU - Gurke S AU - K枚nig B AU - Messing K AU - Forster J AU - Schr枚der L AU - Wild P ED - DO - DOI: 10.48550/arxiv.2310.05711 Y2 - 2025/06/17 ER -