Modal logic of planar polygons

David Gabelaia, Kristina Gogoladze, Mamuka Jibladze +2

We study the modal logic of the closure algebra $P_2$, generated by the set of all polygons in the Euclidean plane ${\mathbb{R}}^2$. We show that this logic is finitely axiomatizable…