@misc{indiciae1d3f1b08511c,
  title = {Constructive Modalities with Provability Smack},
  author = {Tadeusz Litak},
  year = {2017},
  doi = {10.1007/978-94-017-8860-1\_8},
  url = {https://arxiv.org/abs/1708.05607},
  note = {Source identifier: 1708.05607}
}