-
This thesis discusses the problem of logical omniscience, a defect of standard epistemic and doxastic logics which – unrealistically – predict that agents know/believe all consequences of their knowledge/beliefs. We first give a detailed account of the problem, argue for its importance and descr...
-
In this thesis, I explore Isaacson's thesis and Wilkie's theorem, providing philosophical and formal results on how they relate to each other. At a rst approximation, Isaacson's thesis claims that Peano arithmetic is sound and complete with respect to genuinely arithmetical statements . Using int...
-
This thesis explores Peter Mittelstaedt’s dialogue-based system for quantum logic. It is argued that the approach is fundamentally similar to that of dialogical logic. Mittelstaedt’s system is explored in detail and a comparison drawn between this approach and that of dialogical logic. The manner...
-
In this thesis we combine the study of Netkat with the study of dynamic gossip. Netkat is a sound and complete network programming language based on Kleene algebra with tests, originally used to describe packets traveling through networks. It has a coalgebraic decision procedure deciding Netkat e...
-
The meaning of a negated adjective does not always correspond to the one of its antonym (e.g., not small = large); indeed, linguistic theories and experimental data suggest that one of the functions of negation is to shift the meaning of the negated item but not necessarily flip it into the oppos...
-
In this thesis, we investigate the modal logic of forcing and the modal logic of grounds of generic multiverses. Hamkins and Löwe showed that the ZFC-provable modal principles of forcing, as well as of grounds, are exactly the theorems of the modal logic S4.2. We prove that the modal logic of for...
-
This thesis studies the cognitive difficulty of the Deductive Mastermind (DMM) game by measuring the complexity of two different logic formalizations of the game. DMM is a version of the board game Mastermind, and it has been implemented in an online educational game system. This system records p...
-
Human language is one of the most intricately structured communication system in the natural world. Over the last decades researchers in various fields have developed the idea that languages are primarily shaped by processes of cultural evolution, and that these processes can account for the stru...
-
In this thesis we investigate to what extent the many abstractions and idealisations that epistemic logical models make constitute a problem towards the practice of epistemic logic. To this end we look at examples of abstractions and idealisations in epistemic logic, in particular focusing on the...
-
In this thesis, I investigate Mohawk temporality holistically—as an aspect of human engagement, as a culturally shared notion of time, and as a cognitive representation involved in linguistic and gestural expression. I begin by examining various Mohawk cultural expressions in order to grasp their...
-
Turing Learning is a method for the reverse engineering of agent behaviors. This approach was inspired by the Turing test where a machine can pass if its behaviour is indistinguishable from that of a human. Nash memory is a memory mechanism for coevolution. It guarantees monotonicity in convergen...