-
This thesis is concerned with giving a computational social choice-theoretic model of transitive proxy voting.
Transitive proxy voting (or ‘liquid democracy’) is a novel form of collective decision making. It is often introduced as an attractive hybrid of direct and representative democracy. Rec...
-
In this thesis, we investigate the expressive power of first-order logic and alternating parity automata on unranked trees with no leaves. While the initial aim of this thesis was to provide a full characterization of first-order logic as a class of automata, slightly less is achieved. In particu...
-
In this thesis, we identify properties which guarantee consistent outcomes in a model of judgment aggregation, called 'binary aggregation with rationality and feasibility constraints'. We consider an outcome to be consistent when we can guarantee that the outcome will abide by with the feasibilit...
-
This thesis studies algebraic semantics for the inquisitive logic InqB and for the related class of DNA-logics. DNA-logics were previously known in literature as negative variants of intermediate logics and have been studied only in syntactic terms. In this thesis, we show that there is a dual is...
-
This thesis explores a potential development of the constructive tradition of Russian Constructive Mathematics (RUSS) inside Homotopy Type Theory (HoTT). A short introduction to Type Theory is provided. Fragments of RUSS are then formalized inside it, alongside the Lesser Limited Principle of Omn...
-
We propose novel protocols for verifiable, classically instructed remote state preparation. Our “Shell Game” protocols require constantly many rounds of communication to prepare an arbitrary number of qubits, and the prepared qubits can optionally be authenticated using a trap code. In the Shell ...
-
The aim of this work is to find an answer to the following questions: is it possible to develop a truthmaker semantics for modal statements? And how? The answer to the first question is assumed to be positive and we will focus on seeking the answer to the second one. We believe that the truth-mak...
-
In this thesis, the cognitive implications following the emergence of a memory system capable of locating events in time are discussed. With this evolution individuals have been able to mentally travel in time, which has significantly altered their learning processes and behaviour. In particular,...
-
In this thesis, we define two new left-sequential connectives ℓNAND and ℓXOR that prescribe a short-circuit evaluation strategy, in which the second argument is evaluated only if the first argument does not suffice to determine the value of an expression, and a full evaluation strategy, in which ...
-
This thesis provides solutions for a number of theoretical problems associated with ‘referential intentions’, which are frequently supposed to play a part in the semantics of demonstrative expressions (e.g. Perry 2009; Åkerman 2009; Stokke 2010; King 2014; Speaks 2016). Particular issues address...
-
In this thesis we investigate locally finite varieties of Heyting algebras of width 2. We show that a variety of width 2 is locally finite if and only if its 2-generated members are finite. This confirms a conjecture of G. Bezhanishvili and R. Grigolia (2005) for varieties of width 2. We prove th...