S. Kramer, Catuscia Palamidessi, Roberto Segala, Andrea Turrini, Christelle Braun. A quantitative doxastic logic for probabilistic processes and applications to information-hiding. Journal of Applied Non-Classical Logics, 19(4):489-516, 2009. [doi]
@article{KramerPSTB09,
title = {A quantitative doxastic logic for probabilistic processes and applications to information-hiding},
author = {S. Kramer and Catuscia Palamidessi and Roberto Segala and Andrea Turrini and Christelle Braun},
year = {2009},
url = {http://jancl.e-revues.com/article.jsp?articleId=14162},
tags = {information hiding, logic},
researchr = {https://researchr.org/publication/KramerPSTB09},
cites = {0},
citedby = {0},
journal = {Journal of Applied Non-Classical Logics},
volume = {19},
number = {4},
pages = {489-516},
}