Pooling Modalities and Pointwise Intersection: Semantics, Expressivity, and Dynamics

Frederik Van De Putte; Dominik Klein

doi:10.1007/s10992-021-09638-0

Pooling Modalities and Pointwise Intersection: Semantics, Expressivity, and Dynamics

Frederik Van De Putte^*, Dominik Klein

^*Corresponding author for this work

Research output: Contribution to journal › Article › Academic › peer-review

Abstract

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 seman- tics), establish key properties concerning their expressive power, discuss dynamic extensions of these logics and provide reduction axioms for the latter.

Original language	English
Pages (from-to)	485-523
Journal	Journal of Philosophical Logic
Volume	51
DOIs	https://doi.org/10.1007/s10992-021-09638-0
Publication status	Published - 7 Jan 2022

Keywords

Classical modal logics
Pointwise intersection
Pooling modalities
Distributed information
Information dynamics
Power delegation

Access to Document

10.1007/s10992-021-09638-0Licence: CC BY

s10992-021-09638-0Final published version, 1.03 MBLicence: CC BY

Cite this

@article{e573150b1d6e4c0580d99d2714aac06d,

title = "Pooling Modalities and Pointwise Intersection: Semantics, Expressivity, and Dynamics",

abstract = "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 seman- tics), establish key properties concerning their expressive power, discuss dynamic extensions of these logics and provide reduction axioms for the latter.",

keywords = "Classical modal logics, Pointwise intersection, Pooling modalities, Distributed information, Information dynamics, Power delegation",

author = "{Van De Putte}, Frederik and Dominik Klein",

year = "2022",

month = jan,

day = "7",

doi = "10.1007/s10992-021-09638-0",

language = "English",

volume = "51",

pages = "485--523",

journal = "Journal of Philosophical Logic",

issn = "0022-3611",

publisher = "Springer",

}

TY - JOUR

T1 - Pooling Modalities and Pointwise Intersection

T2 - Semantics, Expressivity, and Dynamics

AU - Van De Putte, Frederik

AU - Klein, Dominik

PY - 2022/1/7

Y1 - 2022/1/7

N2 - 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 seman- tics), establish key properties concerning their expressive power, discuss dynamic extensions of these logics and provide reduction axioms for the latter.

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 seman- tics), establish key properties concerning their expressive power, discuss dynamic extensions of these logics and provide reduction axioms for the latter.

KW - Classical modal logics

KW - Pointwise intersection

KW - Pooling modalities

KW - Distributed information

KW - Information dynamics

KW - Power delegation

U2 - 10.1007/s10992-021-09638-0

DO - 10.1007/s10992-021-09638-0

M3 - Article

SN - 0022-3611

VL - 51

SP - 485

EP - 523

JO - Journal of Philosophical Logic

JF - Journal of Philosophical Logic

ER -

Pooling Modalities and Pointwise Intersection: Semantics, Expressivity, and Dynamics

Abstract

Keywords

Access to Document

Fingerprint

Cite this