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 second order logic, extending the ...

We study definability of second order generalized quantifiers on finite structures. Our main result says that for every second order type t there exists a second order generalized quantifier of type t ...

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 ...

Ruth Barcan Marcus GRD ’46, a Yale professor of philosophy and pioneer in the field of quantified modal logic, died Sunday at her home in New Haven. She was 90 ...