This dissertation pursues two tightly interwoven goals: to bring out the relevance of
questions for the field of logic, and to establish a solid theory of the logic of questions within …

This chapter surveys the use of logic and computational complexity theory in cognitive
science. We emphasize in particular the role played by logic in bridging the gaps between …

Generalized quantifiers have been standard tools in natural language semantics since at
least the mid-1980s. It is worth briefly recalling how this came about. The starting point was …

We examine the verification of simple quantifiers in natural language from a computational
model perspective. We refer to previous neuropsychological investigations of the same …

In this dissertation we study how efficiently quantum computers can solve various problems,
and how large speedups can be achieved compared to classical computers. In particular we …

This paper proposes a novel, cognitively motivated theory of natural language quantification
and presents experimental evidence for it. Taking into account recent findings from number …

The thesis links learning theory with logics of knowledge and belief. Following the
introduction and mathematical preliminaries, Chapter 3 contains a methodological analysis …

Matrix rank is well-known to be multiplicative under the Kronecker product, additive under
the direct sum, normalised on identity matrices and non-increasing under multiplying from …

The paper is concerned with the psychological relevance of a logical model for deductive
reasoning. We propose a new way to analyze logical reasoning in a deductive version of the …

The present study investigates whether quantifier scope is computed incrementally during
online sentence processing. We exploited the free word order in German to manipulate …