@misc{indiciae5bdfb793da28,
  title = {Towards a Proof System for Probabilistic Dynamic Logic},
  author = {Einar Broch Johnsen and Eduard Kamburjan and Raúl Pardo and Erik Voogd and Andrzej Wąsowski},
  year = {2024},
  url = {https://arxiv.org/abs/2412.00906},
  note = {Source identifier: 2412.00906}
}