Zoran Ognjanovic, Angelina Ilic-Stepic, Aleksandar Perovic. A Probabilistic Temporal Epistemic Logic: Strong Completeness. Logic Journal of the IGPL, 32(1):94-138, January 2024. [doi]
@article{OgnjanovicIP24,
title = {A Probabilistic Temporal Epistemic Logic: Strong Completeness},
author = {Zoran Ognjanovic and Angelina Ilic-Stepic and Aleksandar Perovic},
year = {2024},
month = {January},
doi = {10.1093/jigpal/jzac072},
url = {https://doi.org/10.1093/jigpal/jzac072},
researchr = {https://researchr.org/publication/OgnjanovicIP24},
cites = {0},
citedby = {0},
journal = {Logic Journal of the IGPL},
volume = {32},
number = {1},
pages = {94-138},
}