-
Modality holds a central position in the fields of formal semantics and modal logic. This dissertation delves into epistemic and desiderative modalities, focusing on addressing various monotonicity puzzles in modal contexts.
Two primary topics are investigated throughout the dissertation. The fi...
-
People inhabit a vast and intricate social network nowadays. In addition to our own decisions and actions, we confront those of various groups every day. Collective decisions and actions are more complex and bewildering compared to those made by individuals. As members of a collective, we contrib...
-
Games are a powerful paradigm for social interaction, but at the same time also good models for analyzing crucial notions in logical reasoning and computation. They provide a versatile platform for simulating diverse scenarios. Exploring game modeling, analyzing game-related reasoning from both p...
-
The third quarter of the 20th century has seen the rise of the idea of a crisis of democracy, both inside and outside of the academic literature. This crisis is often linked to the observation that confidence and trust in governments and governmental bodies is declining in many countries. There i...
-
This thesis explores novel ways of using artificial neural networks as models of human language use, with the goal of establishing new methods and enabling new research directions for a wide variety of language scientists: from historical linguists, sociolinguists, and lexicographers to cognitive...
-
This thesis is about cyclic and ill-founded proof systems for modal fixpoint logics, with and without explicit fixpoint quantifiers.
Cyclic and ill-founded proof-theory allow proofs with infinite branches or paths, as long as they satisfy some correctness conditions ensuring the validity of th...
-
This dissertation has two major threads, one is mathematical, namely descriptive set theory, the other is philosophical, namely generalisation in mathematics. Descriptive set theory is the study of the behaviour of definable subsets of a given structure such as the real numbers. In the core mathe...
-
This thesis studies the proof theory of modal fixed point logics. In particular, we construct proof systems for various fragments of the modal mu-calculus, interpreted over various classes of frames. With an emphasis on uniform constructions and general results, we aim to bring the relatively und...
-
Humans are a musical species: we sing, dance, play, or listen, no matter where we are from. To understand why, musicologists have long studied the rich diversity of musical traditions—or musics—found around the world. One can, for example, compare musics to identify properties that many musical t...
-
Entities are at the center of how we represent and aggregate knowledge. For instance, in Encyclopedias such as Wikipedia information is grouped according to entities (e.g., one entity per article). However, although contemporary NLP technology has become remarkably successful in machine-driven qu...
-
When people describe an image, there are complex visual and linguistic processes at work. For instance, speakers tend to look at an object right before mentioning it, but not every time. Similarly, during a conversation, speakers can refer to an entity multiple times, using expressions evolving i...