Multi-agent justification logic
Authors: Tatiana Yavorskaya and Nadezhda Ruhlyadko
Paper Information
| Title: | Multi-agent justification logic |
| Authors: | Tatiana Yavorskaya and Nadezhda Ruhlyadko |
| Proceedings: | PSC 2014 Abstracts |
| Editors: | Peter Schuster, Dirk Pattinson and Ana Sokolova |
| Keywords: | justification logic, modal logic, realization |
| Abstract: | ABSTRACT. 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 $\mathsf{K}$, $\mathsf{T}$ or $\mathsf{K4}$. The agents may interact by either adopting or verifying each others knowledge; interaction can be either one-way or two-ways. |
| Pages: | 2 |
| Talk: | Jul 17 17:15 |
| Paper: |  |