Phokion G. Kolaitis
1 indexed paper
Recent (6 mo)
1With code
0Influential cites
0Benchmarked
0Publications per year
126
Top categories
Logic×1Complexity×1
Frequent co-authors
Research Timeline
2026
Aspects of Coherence in Dependence Logic
The paper establishes that for quantifier-free dependence logic formulas, the property of k-coherence is equivalent to first-order rewritability, and analyzes the computational complexity of checking this coherence property.
Highlighted terms show continued research focus across papers