This is a preview. Log in through your library . Abstract This paper studies the expressive power that an extra first order quantifier adds to a fragment of monadic ...

Logic and geometric representations constitute an interdisciplinary framework that merges formal logical systems with spatial and diagrammatic structures. This field encompasses the study of classical ...