A Probabilistic Temporal Epistemic Logic

Authors Zoran Ognjanović, Angelina Ilić-Stepić, Aleksandar Perović

Publication date 26 May 2021

Logics of knowledge and belief (including belief change) (03B42) Temporal logic (03B44) Probability and inductive logic (03B48) Logic in artificial intelligence (68T27)

Abstract: We introduce an expressive probabilistic temporal epistemic logic PTEL suitable to reason about uncertain knowledge of a non-rigid set of agents that can be changed during time. We define semantics for PTEL as Kripke models with epistemic accessibility relations for agents' knowledge, linear temporal relations describing possible runs of the system, and probability functions defined on sets of runs. We give an axiomatization of PTEL and sketch the proof of strong completeness.

This page was built for publication: A Probabilistic Temporal Epistemic Logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6368585)