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 |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=161053586&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 161053586 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 14253305 DS9 jtl: Logic & Logical Philosophy issn: 14253305 maglogo: N pubinfo: dt: Sep2022 vid: 31 iid: 3 pid: 42904 pub: Logic & Logical Philosophy artinfo: ui: 161053586 10.12775/LLP.2021.018 ppf: 385 ppct: 42 formats: fmt: @attributes: type: P size: 2.6MB tig: atl: Logics for Knowability. aug: au: Mo Liu Jie Fan van Ditmarsch, Hans Kuijer, Louwe B. affil: University of Lorraine France Institute of Philosophy Chinese Academy of Sciences School of Humanities University of Chinese Academy of Sciences Beijing, China Open University of the Netherlands University of Liverpool United Kingdom su: Proposition (Logic) Logic Wisdom sug: subj: Proposition (Logic) Logic Wisdom keyword: arbitrary public announcement logic axiomatizations decidability expressivity knowability public announcement logic ab: 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. pubtype: Academic Journal doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y custom: Copyright of Logic & Logical Philosophy is the property of Logic & Logical Philosophy and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. item: Logic & Logical Philosophy holder: Logic & Logical Philosophy dt: @attributes: year: 2022 holdings: @attributes: islocal: N |
|---|