Showing math.LOShow all
2 papers · 1 filter
math.LO2026
On the Expressive Power of Inquisitive Team Logic and Inquisitive First-Order Logic
Juha Kontinen, Ivano Ciardelli
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 claim…
math.LO2026
Inquisitive first-order logic is neither compact nor recursively axiomatizable
Ivano Ciardelli, Juha Kontinen
Inquisitive logic is a research program that extends the scope of logic to cover not only statements, but also questions. In the context of this program, a logic that plays a promi…