31 citations · 83 across the 33 of their papers we have counts for
Showing 2013Show all
2 papers · 1 filter
cs.LO2013★ 2 cited
Undecidable First-Order Theories of Affine Geometries
Antti Kuusisto, Jeremy Meyers, Jonni Virtema
Tarski initiated a logic-based approach to formal geometry that studies first-order structures with a ternary betweenness relation β, and a quaternary equidistance relation \equiv.…
math.LO2013★ 3 cited
A Double Team Semantics for Generalized Quantifiers
Antti Kuusisto
We define a semantics for first-order logic with generalized quantifiers based on double teams. We also define and investigate a notion of a generalized atom. Such atoms can be use…