@unpublished {2070, title = {Pooling Modalities and Pointwise Intersection: Semantics, Expressivity, and Applications}, year = {Submitted}, author = {Van De Putte, Frederik and Klein, Dominik} } @unpublished {2069, title = {Pooling Modalities and Pointwise Intersection: Semantics, Expressivity, and Applications}, year = {Submitted}, 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 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.

}, keywords = {classical modal logics, coalition logic, distributed belief, multi-agent systems, pointwise intersection, pooling modalities}, author = {Frederik Van De Putte}, editor = {Klein, Dominik} } @article {2074, title = {Pooling Modalities and Pointwise Intersection: Axiomatization and Decidability}, journal = {Studia Logica}, volume = {online first}, year = {2020}, abstract = {

We establish completeness and the finite model property for logics featuring the pooling modalities that were introduced in Van De\ Putte and Klein (Pooling modalities and pointwise intersection: semantics, expressivity, and applications). The definition of our canonical models combines standard techniques with a so-called {\textquotedblleft}puzzle piece construction{\textquotedblright}, which we first illustrate informally. After that, we apply it to the weakest classical logics with pooling modalities and investigate the technique{\textquoteright}s potential for the axiomatization of stronger logics, obtained by imposing well-known frame conditions on the models.

}, author = {Van De Putte, Frederik and Klein, Dominik} } @unpublished {2051, title = {Pointwise intersection in neighbourhood modal logic}, year = {2018}, author = {Van De Putte, Frederik and Klein, Dominik} }