A Probabilistic Doxastic Temporal Logic for Reasoning about Beliefs in Multi-agent Systems

Logic, a formalism to represent and reason about probabilistic beliefs and their temporal evolution in multi-agent systems. This formalism builds upon recent work on APT Logic. It enables the quantification of beliefs through probability intervals and incorporates the concepts of frequency functions and epistemic actions. We show how agents can update their beliefs in facts, temporal rules, and other agents ’ beliefs with respect to their observations. We provide a well-founded semantics for PDT, show that it is decidable, and provide a basic decision procedure. I