Skip to Main content Skip to Navigation
Preprints, Working Papers, ...

Deterministic modal Bayesian Logic: derive the Bayesian inference within the modal logic T

Abstract : In this paper a conditional logic is defined and studied. This conditional logic, DmBL, is constructed as a deterministic counterpart to the Bayesian conditional. The logic is unrestricted, so that any logical operations are allowed. A notion of logical independence is also defined within the logic itself. This logic is shown to be non-trivial and is not reduced to classical propositions. A model is constructed for the logic. Completeness results are proved. It is shown that any unconditioned probability can be extended to the whole logic DmBL. The Bayesian conditional is then recovered from the probabilistic DmBL. At last, it is shown why DmBL is compliant with Lewis' triviality.
Complete list of metadatas

Cited literature [29 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00127016
Contributor : Frederic Dambreville <>
Submitted on : Saturday, January 27, 2007 - 10:04:41 PM
Last modification on : Sunday, January 28, 2007 - 9:57:11 AM
Long-term archiving on: : Tuesday, April 6, 2010 - 10:46:12 PM

Files

DmBL_Dambreville_20070125.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

Frederic Dambreville. Deterministic modal Bayesian Logic: derive the Bayesian inference within the modal logic T. 2007. ⟨hal-00127016⟩

Share

Metrics

Record views

248

Files downloads

166