TY - UNPB T1 - Pooling Modalities and Pointwise Intersection: Semantics, Expressivity, and Applications Y1 - Submitted A1 - Frederik Van De Putte ED - Klein, Dominik KW - classical modal logics KW - coalition logic KW - distributed belief KW - multi-agent systems KW - pointwise intersection KW - pooling modalities 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, and discuss their application to epistemic/doxastic logic, the logic of evidence-based belief, deontic logic, and logics of agency and ability.

ER -