Abstract

In this paper, I will briefly survey probabilistic logics and investigate logics of probabilistic epistemic change, conjectures, and discovery of chances by resourcebounded agents in the sense of the limitation of the available data and its temporal instability, called dynamic probabilistic logic (DP rL), based on probabilistic dynamic logics and probabilistic Kripke systems, of which equivalence is defined by probabilistic bisimulation.

Citations