@article{extendingandautomatingbasicprobability,
  title = {Extending and Automating Basic Probability Theory with Propositional Computability Logic},
  author = {Keehang Kwon},
  year = {2019},
  eprint = {1909.07375},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/1909.07375v3},
}