@misc{indiciae28edd2e25bef,
  title = {4DL: a four-valued Dynamic logic and its proof-theory},
  author = {Diana Costa},
  year = {2023},
  url = {https://arxiv.org/abs/2203.17179},
  note = {Source identifier: 2203.17179}
}