Details for the publication KramerPSTB09.

Simon Kramer, Catuscia Palamidessi, Roberto Segala, Andrea Turrini, Christelle Braun: A quantitative doxastic logic for probabilistic processes and applications to information-hiding. In J. Appl. Non Class. Logics 19(4):489-516, 2009. DOI BIB