Доклад Зорана Огняновича «A Probabilistic Temporal Epistemic Logic»
19 января Зоран Огнянович (Mathematical Institute SANU) выступил с докладом «A Probabilistic Temporal Epistemic Logic» на теоретическом семинаре «Формальная философия-80».
Abstract:
After a short historical introduction to the field of probabilistic logic, I can talk about the recent papers
- Zoran Ognjanović, Angelina Ilić Stepić, Aleksandar Perović, A Probabilistic Temporal Epistemic Logic: Strong Completeness, Logic Journal of the IGPL, 2022;https://doi.org/10.1093/jigpal/jzac072
- Zoran Ognjanović, Angelina Ilić Stepić, Aleksandar Perović, A probabilistic temporal epistemic logic: Decidability, Logic Journal of the IGPL, 2023;https://doi.org/10.1093/jigpal/jzac080
that offer a formalization of reasoning about distributed multi-agent systems. The papers give syntax and semantics of a propositional probabilistic temporal epistemic logic PTEL. The presented results are: soundness, strong completeness theorems and decidability. To illustrate expressiveness of PTEL we give a formal description of the Blockchain protocol. We also discuss how to extend PTEL to axiomatize the corresponding first-order logic.
Запись доклада
Видео: видео с канала «Формальная философия»