@misc{indiciaef5a5de8d41a4,
  title = {Expressive Quantale-valued Logics for Coalgebras: an Adjunction-based Approach},
  author = {Harsh Beohar and Sebastian Gurke and Barbara König and Karla Messing and Jonas Forster and Lutz Schröder and Paul Wild},
  year = {2024},
  url = {https://arxiv.org/abs/2310.05711},
  note = {Source identifier: 2310.05711}
}