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;
- Zoran Ognjanović, Angelina Ilić Stepić, Aleksandar Perović, A probabilistic temporal epistemic logic: Decidability, Logic Journal of the IGPL, 2023;
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.
5 views
3689
1467
5 months ago 00:03:34 1
С.А.Дацюк: договор , это не формальность
5 months ago 00:07:46 1
Как создать пространство диалога власти и народа Энвер Измайлов
5 months ago 01:14:16 1
Алексей Уминский об апокалипсисе, любимых книгах, вере, Викторе Пелевине и Тихоне Шевкунове
5 months ago 00:03:58 1
Аберрация - Обе белые (Официальная премьера трека)
5 months ago 06:30:07 1
Зиновьев Александр – Катастройка. Повесть о перестройке в Партграде (читает Вячеслав Задворных)
5 months ago 01:53:27 1
История религий. Религии Китая. Конфуцианство, даосизм, чань-буддизм
5 months ago 00:04:21 2
Как сшит бомбер. Ткань решает всё!
5 months ago 00:01:40 1
КНИГА ЕВРОПЫ. РУССКИЙ ФАУСТ
6 months ago 01:00:22 1
Логика и эпистемология. Лекция 1. Логика Аристотеля Александр Пустовит. Что такое логика?
6 months ago 01:00:37 1
ИИ не так уж и разумен: Интервью с Ноамом Чомски
6 months ago 00:58:07 4
«Время слома всего формального». Как выжить в эпоху искусственного интеллекта?
6 months ago 00:35:15 5
Разговор Альберта Ефимова с Дугласом Хофштадтером.
6 months ago 00:12:48 1
Афоризмы. Происхождение Крылатых Выражений. Часть 1
6 months ago 00:02:34 1
Киногид извращенца: Идеология. Официальный трейлер (русские субтитры)