%0 Journal Article %1 journals/corr/abs-1712-00810 %A Kokkinis, Ioannis %D 2017 %J CoRR %K dblp %T The Complexity of Satisfiability in Non-Iterated and Iterated Probabilistic Logics. %U http://dblp.uni-trier.de/db/journals/corr/corr1712.html#abs-1712-00810 %V abs/1712.00810

@article{journals/corr/abs-1712-00810, added-at = {2018-08-13T00:00:00.000+0200}, author = {Kokkinis, Ioannis}, biburl = {https://www.bibsonomy.org/bibtex/212ad32e66ad345fedb4e9f7a23a0c34b/dblp}, ee = {http://arxiv.org/abs/1712.00810}, interhash = {a531618045984d11e09a02858bb721d4}, intrahash = {12ad32e66ad345fedb4e9f7a23a0c34b}, journal = {CoRR}, keywords = {dblp}, timestamp = {2018-08-14T12:00:01.000+0200}, title = {The Complexity of Satisfiability in Non-Iterated and Iterated Probabilistic Logics.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1712.html#abs-1712-00810}, volume = {abs/1712.00810}, year = 2017 }