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
4622
1723
2 months ago 00:08:21 1
Мудрые Слова, Потрясающие Своей Меткостью до Мурашек! Цитаты Выдающихся людей, меняющие жизнь
2 months ago 01:30:13 1
Славянофилы и западники. Теория официальной народности / Борис Кипнис / №122
2 months ago 00:01:20 1
Анна Ахматова - “Столько просьб у любимой всегда!“ - Любовная Лирика 💔
2 months ago 01:12:50 1
Реквием по американской мечте
2 months ago 02:00:58 1
Почему нужно мыслить диалектически? Лекция Вадима Винника.
2 months ago 00:05:30 1
ШОК - СМОТРЕТЬ ДО КОНЦА! Первое официальное послание ИИ к человечеству (World Ai Day)
2 months ago 02:17:42 1
Александр Филимонов | Задача номер один - сыграть на ноль | Большое интервью | КБП
2 months ago 01:06:06 1
Как устроено сознание типичного китайца? Востоковед Алексей Маслов / Деревня Великановка
2 months ago 00:06:24 1
Космологический аргумент Калам - часть 2: философские свидетельства (официальная русская версия)
2 months ago 00:27:17 1
КАК ФИЛОСОФСКИЕ КАНАЛЫ ТЕБЯ ОБМАНЫВАЮТ | #ЭКЛИПС 1
2 months ago 00:19:54 1
СРОЧНО! МАССОВАЯ ДРАКА ФУТБОЛИСТОВ ЧЕЛСИ! ХУДШИЙ МАТЧ В ИСТОРИИ АПЛ / Доза Футбола
2 months ago 00:26:06 1
Шрила Прабхупада - ШБ Наука о Кришне
2 months ago 00:08:54 1
Шрила Прабхупада - Ведическая культура
3 months ago 01:00:22 1
Логика и эпистемология. Лекция 1. Логика Аристотеля Александр Пустовит. Что такое логика?
3 months ago 00:02:00 1
ПЕШКА | Официальный трейлер фильма [Ru&Eng Sub]
3 months ago 00:07:00 1
Лао Цзи – цитаты способные перевернуть твой мир
3 months ago 00:30:07 1
Шрила Прабхупада - ШБ Привязанность
3 months ago 00:02:21 1
Вампиры лёгкого поведения — Официальный трейлер (2024)
3 months ago 00:54:20 1
Идеи становятся силой, когда они овладевают массами ☭ Ленин ☆ Идея сильнее оружия ☭ Сталин ☆ СССР
3 months ago 00:02:59 1
Три мудрых совета - Конфуций - Китайская мудрость
3 months ago 00:25:28 1
🗡Непримиримый Бог Горум : Покровитель битвы , силы и оружия | Pathfinder Lore | Gorum 🗡
3 months ago 00:23:18 1
Шрила Прабхупада - ШБ Великолепный вопрос
4 months ago 00:00:57 1
Всё может быть практикой #karma #философия #практика
4 months ago 01:14:16 1
Алексей Уминский об апокалипсисе, любимых книгах, вере, Викторе Пелевине и Тихоне Шевкунове