Announcement as effort on topological spaces.
We propose a multi-agent logic of knowledge, public announcements and arbitrary announcements, interpreted on topological spaces in the style of subset space semantics. The arbitrary announcement modality functions similarly to the effort modality in subset space logics, however, it comes with intui...
| Publicado en: | Synthese Vol. 196; no. 7; pp. 2927 - 2970 |
|---|---|
| Autores principales: | , , |
| Formato: | Artículo |
| Publicado: |
Springer Nature
Jul2019
|
| 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=137161755&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 137161755 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00397857 4LI jtl: Synthese issn: 00397857 maglogo: N pubinfo: dt: Jul2019 vid: 196 iid: 7 pid: 237 pub: Springer Nature artinfo: ui: 137161755 10.1007/s11229-017-1592-8 ppf: 2927 ppct: 43 formats: fmt: – @attributes: type: T – @attributes: type: P size: 941KB tig: atl: Announcement as effort on topological spaces. aug: au: van Ditmarsch, Hans Knight, Sophia Özgün, Aybüke affil: LORIA, CNRS, Université de Lorraine, Nancy, France Uppsala University, Uppsala, Sweden ILLC, University of Amsterdam, Amsterdam, The Netherlands su: Epistemic logic Announcements Modal logic Logic Topological spaces sug: subj: Epistemic logic Announcements Modal logic Logic Topological spaces keyword: Arbitrary (public)announcements Dynamic epistemic logic Subset space logic Topology ab: We propose a multi-agent logic of knowledge, public announcements and arbitrary announcements, interpreted on topological spaces in the style of subset space semantics. The arbitrary announcement modality functions similarly to the effort modality in subset space logics, however, it comes with intuitive and semantic differences. We provide axiomatizations for three logics based on this setting, with S5 knowledge modality, and demonstrate their completeness. We moreover consider the weaker axiomatizations of three logics with S4 type of knowledge and prove soundness and completeness results for these systems. pubtype: Academic Journal doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y custom: Synthese is a copyright of Springer, 2019. All Rights Reserved. item: Synthese holder: Springer Nature dt: @attributes: year: 2019 holdings: @attributes: islocal: N |
|---|