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

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

2007-01-28

arxiv.org/abs/math/0701801v1

Mathematics

Logic

Second revision of: Definition of a Deterministic Bayesian Logic

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Deterministic modal Bayesian Logic: derive the Bayesian inference within the modal logic T does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Deterministic modal Bayesian Logic: derive the Bayesian inference within the modal logic T, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Deterministic modal Bayesian Logic: derive the Bayesian inference within the modal logic T will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-197178