Cartagena Logic

Siiri Kivimäki, Jouko Väänänen, Andrés Villaveces

We introduce a new kind of infinitary logic that we call Boolean expansion of ${\mathcal{L}}_{\kappa \kappa }$. This logic involves a new kind of variable, that we call generalised Boolean vari…