A Combined System for Update Logic and Belief Revision, LNAI, vol.3371, pp.1-17, 2004. ,
DOI : 10.1007/978-3-540-32128-6_1
URL : https://hal.archives-ouvertes.fr/inria-00537233
The Logic of Conditionals, Synthese Library, 1975. ,
DOI : 10.1007/978-94-015-7622-2
Logic for epistemic program, Synthese, pp.165-224 ,
Reasoning about knowledge and probability, Journal of the ACM, vol.41, issue.2, pp.340-367 ,
DOI : 10.1145/174652.174658
Belief Revision, Handbook of Logic in Artificial Intelligence and Logic Programming, vol.4, 1995. ,
Elementary Calculus: An Approach Using Infinitesimal, 1986. ,
Probabilistic Dynamic Epistemic Logic, Journal of Logic, Language and Information, pp.381-408, 2003. ,
Knowledge, Belief, and Subjective Probability: Outlines of a Unified System of Epistemic/Doxastic Logic, Knowledge Contributors, pp.17-31, 2003. ,
DOI : 10.1007/978-94-007-1001-6_2
Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems, 2001. ,
Conditional probability meets update logic, Journal of Logic, Language and Information, pp.409-421 ,