-
This thesis develops the theory of stable canonical formulas and rules for intuitionistic modal logics and Heyting-Lewis logics. We prove that every intuitionistic modal (or Heyting-Lewis) multi-conclusion consequence relation is axiomatizable by stable canonical rules. This allows us to assume w...
-
This project examines polar questions in both Sign Language of the Netherlands (NGT) and Dutch.
The NGT part of the project aims at getting a better understanding of the use of (non-)manual markers in polar questions in NGT. The manual marker of PALMS - UP and the non-manuals markers − which a...
-
We develop a type theory for dynamical systems seen as computational processes. Denotational semantics for dynamical systems are constructed from ‘‘finitary approximations’’ to them, via domain theory. We study the resulting categories of domains, characterise them via certain free constructions,...
-
This thesis is an investigation into the nature of vagueness, the problems to which it gives rise, and the interplay between these two issues. The two main problems to which vagueness gives rise are the Problem of the Many and the Sorites paradox. The Problem of the Many is generally considered t...
-
Abstract. In this thesis, we define a team semantics for modal mu-calculus, show it enjoys the flatness property and aligns well with existing team temporal logics. The approach taken utilises team semantics for modal logic and involves an algebraic study of powerset structures in order to assign...
-
This thesis assesses whether the ontological commitments of an emerging position within the philosophy of set theory – metaphysical multiversism – are justified. Metaphysical multiversism can be characterised as the conjunction of two theses. First, that there is not one unique ultimate set-theor...
-
We study applications of restrictions of homomorphism vectors for finite relational models in database theory and modal logic. Assume some fixed enumeration (Mi )i∈ω of all finite relational models (up to isomorphism), and let M be some finite relational model. The left homomorphism vector of M i...
-
This thesis is dedicated to the axiomatic study of multiwinner voting where certain kinds of candidates are to receive preferential treatment. We introduce a priority model for multiwinner voting, which extends the standard model by distinguishing between priority and non-priority candidates and ...
-
The field of Voting Theory is concerned with the design and analysis of procedures for collective decision-making, called social choice functions, or voting rules. Many impossibility results having been provided, it is well known that there is no voting rule that will satisfy all kinds of desirab...
-
We study provability logic in the context of intuitionistic arithmetics. In particular, we focus on the Σ1-provability logics of subtheories of Heyting Arithmetic HA. In order to do so, we analyze the tools developed by Visser and Zoethout and a method for constructing so-called slow provability ...
-