The following pages link to Juha Kontinen (Q269505):
Displayed 14 items.
- Expressivity and Complexity of Dependence Logic (Q5213639) (← links)
- Hierarchies in independence and inclusion logic with strict semantics (Q5262488) (← links)
- A logical characterization of the counting hierarchy (Q5277825) (← links)
- Descriptive Complexity of #AC^0 Functions (Q5278406) (← links)
- A Van Benthem Theorem for Modal Team Semantics (Q5351963) (← links)
- A Finite Axiomatization of Conditional Independence and Inclusion Dependencies (Q5404957) (← links)
- The hierarchy theorem for second order generalized quantifiers (Q5477629) (← links)
- A parameterized view on the complexity of dependence and independence logic (Q5872871) (← links)
- Team Logic and Second-Order Logic (Q5894359) (← links)
- Team Logic and Second-Order Logic (Q5902156) (← links)
- COMPLETE LOGICS FOR ELEMENTARY TEAM PROPERTIES (Q6103455) (← links)
- (Q6187072) (← links)
- Facets of Distribution Identities in Probabilistic Team Semantics (Q6311162) (← links)
- Regular Representations of Uniform TC^0 (Q6450970) (← links)