-
In this thesis, we introduce a finitary logic which is sound and complete with respect to de Vries algebras, and hence by de Vries duality, this logic can be regarded as logic of compact Hausdorff spaces. In order to achieve this, we first introduce a system S which is sound and complete with res...
-
Fiction operators such as ‘In the fiction f,' (In_f,) have seen applications particularly in philosophy of fiction, but more broadly in any ontological/metaphysical debate. For example there are fiction operator approaches towards modality, mathematics and morality. Giving a suitable analysis for...
-
This thesis examines influence-based iterative opinion diffusion mechanisms on social networks where agents update their opinions based on the opinions of their influencers in the social network. We use tools from judgment aggregation to analyse the strengths and weaknesses of an existing opinion...
-
Computation tree logic (CTL) and its extension CTL offer a rigorous approach to program verification. The highly expressive modal μ-calculus subsumes both CTL and CTL∗ while remaining computationally well-behaved. Translations from CTL and CTL* into the modal μ-calculus are known, but the resulti...
-
Genetic-Algorithmic Optimisation for School-Allocation Mechanisms A Study of Amsterdam's Student to High-School Allocation Problem Philip W.B. Michgelsen Abstract: In the municipality of Amsterdam, students who graduated from primary school, are allocated to high schools through a school-allocati...
-
In universal algebra, clones may be viewed as a way of studying definability between functions within the presence of certain natural operations, namely projection and composition. We show how the simply typed lambda calculus provides a suitable framework for extending this study to higher-order ...
-
In Dynamic Epistemic Logic, action models are used to encode situations in which agents are uncertain about information being exchanged. These models show how publicly or privately announced statements can bring about change in knowledge. In real communication, questions also play a big part. Ask...
-
In this thesis we present a new model of Martin-Löf type theory with identity types in the effective topos. Using the homotopical approach to type theory, the model is induced from a Quillen model category structure on a full subcategory of the effective topos. To aid the construction we introduc...
-
Starting from the original formulation of minimal propositional logic proposed by Johansson, this thesis aims to investigate some of its relevant subsystems. The main focus is on negation, defined as a primitive unary operator in the language. Each of the subsystems considered is defined by means...
-
This thesis develops inquisitive conditional-doxastic logic, obtained by enriching classical multi-agent plausibility models with issues for each agent. The aim of these models is to allow for a finer approach to modelling inquiry.
Issues capture informative and interrogative content, and so by a...
-
There have been recent developments in mathematics that indicate that the theory of infinite collections exemplified by Cantor’s cardinals and ordinals does not have to be the only alternative to be considered.
Here we are interested in investigating different ways of comparing the size of infini...