{"id":"arxiv/2603.08646","url":"https://arxiv.org/abs/2603.08646","tags":["math.LO","cs.LO"],"score":0,"title":"On the Expressive Power of Inquisitive Team Logic and Inquisitive First-Order Logic","domain":"math.LO","source":"arxiv","authors":["Juha Kontinen","Ivano Ciardelli"],"reviews":0,"subject":"math.LO","summary":"Inquisitive team logic is a variant of inquisitive logic interpreted in team semantics, which has been argued to provide a natural setting for the regimentation of dependence claims. With respect to sentences, this logic is known to be expressively equivalent with first-order logic. In this article we show that, on the contrary, the expressive power of open formulas in this logic properly exceeds that of first-order logic. On the way to this result, we show that if inquisitive team logic is extended with the range-generating universal quantifier adopted in dependence logic, the resulting…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-03-09","reactions":{}}