A Probabilistic Doxastic Temporal Logic for Reasoning about Beliefs in Multi-agent Systems Martiny, K. 2016 - Forschungsinformationssystem der UHH - frei zugänglich