Description

• Title:
  Logics for Knowability
• Creator:
  Liu, Mo;
  Fan, Jie;
  van Ditmarsch, Hans;
  Kuijer, Louwe B.
• Description:
  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 equally expressive as classical propositional logic PL. We present the axiomatizations of the three knowability logics and show their soundness and completeness. We show that all three knowability logics possess the properties of Church-Rosser and McKinsey. Although LK is undecidable when at least three agents are involved, LK− and LK= are both decidable.
• Object availability:
  free access
• Rights: https://creativecommons.org/licenses/by-nd/4.0 ;
  Prawa autorskie (c) 2021 Logic and Logical Philosophy
• Date:
  2021.12.08
• Type:
  info:eu-repo/semantics/article;
  info:eu-repo/semantics/publishedVersion
• Language:
  English
• Source:
  Logic and Logical Philosophy; Vol. 31 No. 3 (2022): September; 385-426;
  Logic and Logical Philosophy; Tom 31 Nr 3 (2022): Wrzesień; 385-426;
  2300-9802;
  1425-3305
• Format:
  application/pdf
• Publisher:
  Uniwersytet Mikołaja Kopernika w Toruniu
• Relation: https://apcz.umk.pl/LLP/article/view/33886/30664
• Subject:
  knowability;
  public announcement logic;
  arbitrary public announcement logic;
  expressivity;
  axiomatizations;
  decidability
• Identifier: https://apcz.umk.pl/LLP/article/view/33886
• Data provider:
  Akademicka Platforma Czasopism
• Can I use it?:
  seek permission
• Type:
  text