Opis

• Tytuł:
  Logics for Knowability
• Twórca:
  Liu, Mo;
  Fan, Jie;
  van Ditmarsch, Hans;
  Kuijer, Louwe B.
• Opis:
  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.
• Dostępność obiektu:
  Dostęp otwarty
• Prawa: https://creativecommons.org/licenses/by-nd/4.0 ;
  Prawa autorskie (c) 2021 Logic and Logical Philosophy
• Data:
  2021.12.08
• Typ:
  info:eu-repo/semantics/article;
  info:eu-repo/semantics/publishedVersion
• Język:
  angielski
• Źródło:
  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
• Wydawca:
  Uniwersytet Mikołaja Kopernika w Toruniu
• Relacja: https://apcz.umk.pl/LLP/article/view/33886/30664
• Temat i słowa kluczowe:
  knowability;
  public announcement logic;
  arbitrary public announcement logic;
  expressivity;
  axiomatizations;
  decidability
• Identyfikator: https://apcz.umk.pl/LLP/article/view/33886
• Dostawca danych:
  Akademicka Platforma Czasopism
• Czy mogę z tego obiektu skorzystać?:
  poproś o pozwolenie
• Rodzaj zawartości:
  teksty