Sinisa Tomovic, Zoran Ognjanovic, Dragan Doder. A First-order Logic for Reasoning about Knowledge and Probability. ACM Trans. Comput. Log., 21(2), 2020. [doi]
@article{TomovicOD20,
title = {A First-order Logic for Reasoning about Knowledge and Probability},
author = {Sinisa Tomovic and Zoran Ognjanovic and Dragan Doder},
year = {2020},
doi = {10.1145/3359752},
url = {https://doi.org/10.1145/3359752},
researchr = {https://researchr.org/publication/TomovicOD20},
cites = {0},
citedby = {0},
journal = {ACM Trans. Comput. Log.},
volume = {21},
number = {2},
}