|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Multi-agent Justification Logicдоклад на конференции
- Авторы: Yavorskaya Tatiana, Ruhlyadko Nadezhda
- Международная Конференция : The International Workshop on Proof, Structure and Computation (PSC), Vienna Summer of Logic
- Даты проведения конференции: 2014
- Тип доклада: не указан
- Докладчик: не указан
- Место проведения: Вена, Австрия
-
Аннотация доклада:
We introduce the explicit counterparts and prove realization theorem for bimodal logics, describing communication of two agents in case when knowledge (belief) of both agents is described by one of the logics K, T or K4. The agents may interact by either adopting or verifying each others knowledge; interaction can be either one-way or two-ways.
- Добавил в систему: Золин Евгений Евгеньевич
Прикрепленные файлы
| № | Имя | Описание | Имя файла | Размер | Добавлен |
|---|---|---|---|---|---|
| 1. | Краткий текст | Ruhlyadko_Yavorskaya_2014_PSC.pdf | 202,0 КБ | 25 января 2015 [ezolin] |