The following pages link to Jakub Szymanik (Q256923):
Displayed 16 items.
- Quantifiers and cognition: logical and computational perspectives (Q256925) (← links)
- Exploring the tractability border in epistemic tasks (Q484931) (← links)
- A remark on collective quantification (Q1006495) (← links)
- Parameterized complexity of theory of mind reasoning in dynamic epistemic logic (Q1711514) (← links)
- On the identification of quantifiers' witness sets: a study of multi-quantifier sentences (Q2255233) (← links)
- A characterization of definability of second-order generalized quantifiers with applications to non-definability (Q2453584) (← links)
- (Q2851839) (← links)
- Backward Induction Is PTIME-complete (Q2859126) (← links)
- A Dichotomy Result for Ramsey Quantifiers (Q2947460) (← links)
- Characterizing Definability of Second-Order Generalized Quantifiers (Q3003360) (← links)
- Invariance Properties of Quantifiers and Multiagent Information Exchange (Q3172828) (← links)
- Almost All Complex Quantifiers Are Simple (Q3585012) (← links)
- The Computational Complexity of Quantified Reciprocals (Q3623832) (← links)
- (Q5015396) (← links)
- Logic and Complexity in Cognitive Science (Q5249690) (← links)
- Characterizing polynomial Ramsey quantifiers (Q5377702) (← links)