@misc{indiciae914803f4a8cf,
  title = {Linear-time logics -- a coalgebraic perspective},
  author = {Corina Cirstea},
  year = {2024},
  doi = {10.46298/lmcs-20(2:13)2024},
  url = {https://arxiv.org/abs/1612.07844},
  note = {Source identifier: 1612.07844}
}