 |
|
|
|
| HAL: inria-00445212, version 2 |
| Detailed view |  Export this paper |
|
|
| The Journal of Applied Non-Classical Logic (2010) 28p. |
|
|
| Available versions: | v1 (2010-01-08) | v2 (2010-02-17) |
|
|
|
|
| A Quantitative Doxastic Logic for Probabilistic Processes and Applications to Information-Hiding |
|
|
| Simon Kramer 1Catuscia Palamidessi 1 |
|
|
| (2010) |
|
|
|
| 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). |
|
|
|
|
|
|
|
|
|
|
|
| 1: | COMETE (INRIA Saclay - Ile de France) |
|
|
|
INRIA – Polytechnique - X – CNRS : UMR7161 |
|
|
| 2: | Department of Computer Science, University of Verona |
|
|
|
University of Verona |
|
|
|
|
|
|
|
|
|
| Subject | : | Computer Science/Logic in Computer Science |
|
|
| Attached file list to this document: | |||||
|
|||||
|
|
|
| inria-00445212, version 2 | |
| http://hal.archives-ouvertes.fr/inria-00445212/en/ | |
| oai:hal.archives-ouvertes.fr:inria-00445212_v2 | |
| From: Catuscia Palamidessi | |
| Submitted on: Wednesday, 17 February 2010 09:32:06 | |
| Updated on: Wednesday, 17 February 2010 09:42:01 | |
