@misc{indiciae78ca146b3dab,
  title = {The Complexity of Satisfiability in Non-Iterated and Iterated Probabilistic Logics},
  author = {Ioannis Kokkinis},
  year = {2019},
  doi = {10.1007/s10472-018-9593-y},
  url = {https://arxiv.org/abs/1712.00810},
  note = {Source identifier: 1712.00810}
}