%0 Journal Article %1 journals/igpl/OgnjanovicIP24 %A Ognjanovic, Zoran %A Ilic-Stepic, Angelina %A Perovic, Aleksandar %D 2024 %J Log. J. IGPL %K dblp %N 1 %P 94-138 %T A Probabilistic Temporal Epistemic Logic: Strong Completeness. %U http://dblp.uni-trier.de/db/journals/igpl/igpl32.html#OgnjanovicIP24 %V 32

@article{journals/igpl/OgnjanovicIP24, added-at = {2024-02-18T00:00:00.000+0100}, author = {Ognjanovic, Zoran and Ilic-Stepic, Angelina and Perovic, Aleksandar}, biburl = {https://www.bibsonomy.org/bibtex/23f276d9401ce6ddf29eeebb677d3c5e9/dblp}, ee = {https://doi.org/10.1093/jigpal/jzac072}, interhash = {e4aed6ea9c4a4095307326b6f49a7f01}, intrahash = {3f276d9401ce6ddf29eeebb677d3c5e9}, journal = {Log. J. IGPL}, keywords = {dblp}, month = {January}, number = 1, pages = {94-138}, timestamp = {2024-04-09T06:04:57.000+0200}, title = {A Probabilistic Temporal Epistemic Logic: Strong Completeness.}, url = {http://dblp.uni-trier.de/db/journals/igpl/igpl32.html#OgnjanovicIP24}, volume = 32, year = 2024 }