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 “puzzle piece construction”, which we first
... read more