@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} }