@misc{indiciae40781b4f43aa,
  title = {Many-valued coalgebraic dynamic logics: Safety and strong completeness via reducibility},
  author = {Helle Hvid Hansen and Wolfgang Poiger},
  year = {2026},
  url = {https://arxiv.org/abs/2512.22851},
  note = {Source identifier: 2512.22851}
}