TY  - RPRT
TI  - The Complexity of Satisfiability in Non-Iterated and Iterated Probabilistic Logics
AU  - Ioannis Kokkinis
PY  - 2019
DO  - 10.1007/s10472-018-9593-y
UR  - https://arxiv.org/abs/1712.00810
ID  - 1712.00810
ER  -