-
This thesis investigates what role paraconsistency can play in dealing with traditionally intractable problems concerning identity and change. More specifically, we consider three logics that all commit to a Leibnizian account of identity, but that provide distinct solutions to a version of the s...
-
While extending the semantics of programming languages is commonplace, extending their syntax is usually not possible. In this thesis, we are concerned with the problem of parsing programming languages that are simultaneously syntactically extensible and human-readable. The quintessential extensi...
-
Judgment Aggregation studies how agents take a collective decision on a certain number of issues based on their individual opinions. In recent years, a line of research in Judgment Aggregation investigates how to model this framework within a logical calculus — usually designed ad hoc for this pu...
-
This dissertation defends the use of impossible worlds in natural language semantics, by providing two arguments. First, a methodological argument is made, showing that the use of world postulates in semantics does not commit the semanticist to the ontological existence of worlds. Secondly, the a...
-
This thesis is a study of logics whose semantics is based on neighbourhood frames. Neighbourhood frames are a generalization of Kripke frames and are generally used as a semantic framework for non-normal modal logics. We study logics with a neighbourhood based semantics by means of canonical rule...
-
Meter perception is the process of inferring metrical structure, a hierarchical and regular mental framework of beats, from an auditory signal. Research on meter perception revolves around the question how listeners perform this task. Formal theories provide a complete abstract representation of ...
-
In this thesis, we study various generalizations and weakenings of the Rasiowa-Sikorski Lemma (Rasiowa-Sikorski) for Boolean algebras. Building on previous work from Goldblatt, we extend the Rasiowa-Sikorski Lemma to co-Heyting algebras and modal algebras, and show how this yields completeness re...
-
In the current thesis I examine the literature in hopes of arriving at a good, hyperintensional theory of content. A good theory of content, it is argued, is one that can draw certain hyperintensional distinctions, but of course, achieving a certain finess of grain does not, on its own, a good th...
-
Dynamic evidence logics are logics for reasoning about the evidence and evidence-based beliefs of agents in a dynamic environment. This thesis develops a family of dynamic evidence logics which we call relational evidence logics (REL). Relational evidence logics aim to contribute to the existing ...
-
It has long been recognized that inconsistencies may easily occur in people's beliefs in real life. Even if one is rational, one may hold inconsistent beliefs due to receiving conflicting information along with the fact that our limited capacity for information processing (or limited memory) may ...
-
Games with a permission structure are a type of cooperative games with transferable utility in which cooperation is restricted. In these games it is assumed that players can have veto power over other players. Two approaches are distinguished. In the conjunctive approach, a player needs permissio...