@misc{indiciae6d0ed8c7a48a,
  title = {Saturated Kripke Structures as Vietoris Coalgebras},
  author = {Heinz-Peter Gumm and Mona Taheri},
  year = {2022},
  url = {https://arxiv.org/abs/2202.07786},
  note = {Source identifier: 2202.07786}
}