@misc{indiciae3ea6f9def713,
  title = {Propositional dynamic logic with Belnapian truth values},
  author = {Igor Sedlár},
  year = {2016},
  url = {https://arxiv.org/abs/1608.06084},
  note = {Source identifier: 1608.06084}
}