List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|
| Parameterized complexity results for a model of theory of mind based on dynamic epistemic logic | 2021-12-07 | Paper |
Parameterized complexity results for a model of theory of mind based on dynamic epistemic logic
(available as arXiv preprint) | 2021-12-07 | Paper |
Characterizing polynomial Ramsey quantifiers
Mathematical Structures in Computer Science | 2019-05-27 | Paper |
Parameterized complexity of theory of mind reasoning in dynamic epistemic logic
Journal of Logic, Language and Information | 2019-01-18 | Paper |
Quantifiers and cognition: logical and computational perspectives
Studies in Linguistics and Philosophy | 2016-03-11 | Paper |
A dichotomy result for Ramsey quantifiers
Logic, Language, Information, and Computation | 2015-09-24 | Paper |
Logic and complexity in cognitive science
Outstanding Contributions to Logic | 2015-05-11 | Paper |
On the identification of quantifiers' witness sets: a study of multi-quantifier sentences
Journal of Logic, Language and Information | 2015-02-09 | Paper |
Exploring the tractability border in epistemic tasks
Synthese | 2015-01-08 | Paper |
A characterization of definability of second-order generalized quantifiers with applications to non-definability
Journal of Computer and System Sciences | 2014-06-10 | Paper |
Backward Induction Is PTIME-complete
Logic, Rationality, and Interaction | 2013-11-06 | Paper |
| Logic in cognitive science: bridging the gap between symbolic and connectionist paradigms | 2013-10-04 | Paper |
Invariance Properties of Quantifiers and Multiagent Information Exchange
Lecture Notes in Computer Science | 2011-10-07 | Paper |
Characterizing definability of second-order generalized quantifiers
Logic, Language, Information and Computation | 2011-05-27 | Paper |
Almost All Complex Quantifiers Are Simple
Lecture Notes in Computer Science | 2010-08-31 | Paper |
The Computational Complexity of Quantified Reciprocals
Logic, Language, and Computation | 2009-04-24 | Paper |
A remark on collective quantification
Journal of Logic, Language and Information | 2009-03-24 | Paper |
Research outcomes over time
This page was built for person: Jakub Szymanik
