21 citations · 116 across the 38 of their papers we have counts for
Showing 2026 · math.LOShow all
3 papers · 2 filters
math.LO2026
Intuitionistic Implication in Elementary Team Logics
Fredrik Engström, Juha Kontinen
The logic FOT is a team-based logic whose expressive power coincides with first-order logic at the level of both sentences and open formulas. In contrast to dependence and independ…
math.LO2026
Inquisitive first-order logic is neither compact nor recursively axiomatizable
Ivano Ciardelli, Juha Kontinen
Inquisitive first-order logic is an extension of classical first-order logic with formulas regimenting first-order questions, such as "whether all objects are P", "which objects ar…
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…