Logics for Knowability.
In this paper, we propose three knowability logics LK, LK-, and LK=. In the single-agent case, LK is equally expressive as arbitrary public announcement logic APAL and public announcement logic PAL, whereas in the multi-agent case, LK is more expressive than PAL. In contrast, both LK- and LK= are eq...
| Publicado en: | Logic & Logical Philosophy Vol. 31; no. 3; pp. 385 - 427 |
|---|---|
| Autores principales: | , , , |
| Formato: | Artículo |
| Publicado: |
Logic & Logical Philosophy
Sep2022
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |