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...

Full description

Bibliographic Details

Published in:	Logic & Logical Philosophy Vol. 31; no. 3; pp. 385 - 427
Main Authors:	Mo Liu, Jie Fan, van Ditmarsch, Hans, Kuijer, Louwe B.
Format:	Article
Published:	Logic & Logical Philosophy Sep2022
Subjects:	Proposition (Logic) Logic Wisdom
Online Access:	View this record in EBSCOhost