A quantitative doxastic logic for probabilistic processes and applications to information-hiding

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]

Abstract

Abstract is missing.