21 citations · 116 across the 38 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
math.LO2019
Complete logics for elementary team properties
Juha Kontinen, Fan Yang
In this paper, we introduce a logic based on team semantics, called FOT, whose expressive power is elementary, i.e., coincides with first-order logic both on the level of sentences…
cs.LO2019
Counting of Teams in First-Order Team Logics
Anselm Haak, Juha Kontinen, Fabian Müller +2
We study descriptive complexity of counting complexity classes in the range from #P to #NP. A corollary of Fagin's characterization of NP by existential second-order logic i…