Pooling Modalities and Pointwise Intersection: Semantics, Expressivity, and Dynamics.
We study classical modal logics with pooling modalities, i.e. unary modal operators that allow one to express properties of sets obtained by the pointwise intersection of neighbourhoods. We discuss salient properties of these modalities, situate the logics in the broader area of modal logics (with a...
| Publicado en: | Journal of Philosophical Logic Vol. 51; no. 3; pp. 485 - 524 |
|---|---|
| Autores principales: | , |
| Formato: | Artículo |
| Publicado: |
Springer Nature
Jun2022
|
| 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=157134376&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 157134376 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00223611 JPH jtl: Journal of Philosophical Logic issn: 00223611 maglogo: N pubinfo: dt: Jun2022 vid: 51 iid: 3 pid: 237 pub: Springer Nature artinfo: ui: 157134376 10.1007/s10992-021-09638-0 ppf: 485 ppct: 39 formats: fmt: @attributes: type: P size: 1MB tig: atl: Pooling Modalities and Pointwise Intersection: Semantics, Expressivity, and Dynamics. aug: au: Van De Putte, Frederik Klein, Dominik affil: Erasmus Institute for Philosophy and Economics, Erasmus School of Philosophy, Erasmus University of Rotterdam, Rotterdam, Netherlands Centre for Logic and Philosophy of Science, Department of Philosophy and Moral Science, Ghent University (Belgium), Ghent, Belgium Department of Philosophy and Religious Studies, Utrecht University, Utrecht, Netherlands su: Kripke semantics Delegation of powers Self-expression Neighborhoods Semantics Modal logic sug: subj: Kripke semantics Delegation of powers Self-expression Neighborhoods Semantics Modal logic keyword: Classical modal logics Distributed information Information dynamics Pointwise intersection Pooling modalities Power delegation ab: We study classical modal logics with pooling modalities, i.e. unary modal operators that allow one to express properties of sets obtained by the pointwise intersection of neighbourhoods. We discuss salient properties of these modalities, situate the logics in the broader area of modal logics (with a particular focus on relational semantics), establish key properties concerning their expressive power, discuss dynamic extensions of these logics and provide reduction axioms for the latter. pubtype: Academic Journal doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y custom: Journal of Philosophical Logic is a copyright of Springer, 2022. All Rights Reserved. item: Journal of Philosophical Logic holder: Springer Nature dt: @attributes: year: 2022 holdings: @attributes: islocal: N |
|---|