A Quantitative Doxastic Logic for Probabilistic Processes and Applications to Information-Hiding

Simon Kramer 1 Catuscia Palamidessi 1 Roberto Segala 2 Andrea Turrini 2 Christelle Braun 1
1 COMETE - Concurrency, Mobility and Transactions
LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], Inria Saclay - Ile de France, Polytechnique - X, CNRS - Centre National de la Recherche Scientifique : UMR7161
Abstract : We introduce a novel modal logic, namely the doxastic $\mu$-calculus with error control (D$\mu$CEC), and propose a formalization of probabilistic anonymity and oblivious transfer in the logic, and the validation of these formalizations on implementations formalized in probabilistic CCS. The distinguishing feature of our logic is to provide a combination of dynamic operators for belief (whence the attribute ``doxastic'') with a control on the possible error of apprehension of the perceived reality, and for internalized probability. Both operators are dynamic (non-monotonic) thanks to the possibility of combining them with temporal operators, and are parameterized with a lower and upper probability bound (the error control).
Type de document :
Article dans une revue
The Journal of Applied Non-Classical Logic, Hermes, 2009, 19 (4), pp.489-516. 〈10.3166/jancl.19.489516〉
Liste complète des métadonnées

https://hal.inria.fr/inria-00445212
Contributeur : Catuscia Palamidessi <>
Soumis le : mercredi 17 février 2010 - 09:32:06
Dernière modification le : jeudi 11 janvier 2018 - 06:22:14
Document(s) archivé(s) le : mercredi 30 novembre 2016 - 14:08:36

Fichier

revised091229.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Simon Kramer, Catuscia Palamidessi, Roberto Segala, Andrea Turrini, Christelle Braun. A Quantitative Doxastic Logic for Probabilistic Processes and Applications to Information-Hiding. The Journal of Applied Non-Classical Logic, Hermes, 2009, 19 (4), pp.489-516. 〈10.3166/jancl.19.489516〉. 〈inria-00445212v2〉

Partager

Métriques

Consultations de la notice

401

Téléchargements de fichiers

188