-
Alongside the traditional Kripke semantics, modal logic also enjoys a topological interpretation, which is becoming increasingly influential. We present various developments related to the topological derivational semantics based on the Cantor derivative operator. We establish useful characteriza...
-
This thesis investigates the semantic structure of dependence statements which feature the verb depends on. The analysis of these statements will be done in a typed system which will be based on an inquisitive notion of meaning. Various types of dependence statements will be presented which are u...
-
This thesis presents a new uniform method for studying modal companions of superintuitionistic deductive systems and related notions, based on the machinery of stable canonical rules. Using our method, we obtain alternative proofs of classic results in the theory of modal companions, chiefly the ...
-
An important part of econometrics is modelling causality. One way of getting causal predictions is to rely on data-driven models. This tradition is also known as atheoretical econometrics. Thus, atheoretical econometrics represents a range of methods that use models to infer causal relations dire...
-
We investigate connections between model-theoretic properties of extensions of first-order logic and set-theoretic principles. We build on work of Bagaria and Väänänen, and of Galeotti, Khomskii and Väänänen, which used the notions of symbiosis and bounded symbiosis between a logic L and a predic...
-
Epistemic Multilateral Logic (EML) is a natural deduction system for multilateral modal logic. It has the notable feature that its valid inference patterns on the level of formulae seem to allign with those of classical logic, yet it intuitively invalidates certain classically valid metarules. Th...
-
Recent developments in Dynamic Epistemic Logics of social networks formalise the relation between epistemics and communication restricted by the existence of connections between people situated in a social network. There are two key aspects to social networks: communication over a social networks...
-
A paradefinite logic is a logic that is both paraconsistent and paracomplete. In this thesis, we present a set theory in a four-valued paradefinite logic that can be viewed as the result of enriching the standard von Neumann universe for ZF C with various non-classical sets.
Our approach differs...
-
Adaptive processes are processes that adapt to the environment in which they are situated by abstracting input taken from the environment and applying those abstractions to act on the environment and to determine what next to take as input. They involve a continuous oscillation between an inducti...
-
This thesis is dedicated to the study of justifications of partial matching outcomes for one-to-one matching problems with two-sided preferences. Matching theory studies the problem of pairing agents from two groups while taking into account their preferences. The idea is to provide non-experts w...
-
A deductive system is said to be structurally complete if its admissible rules are derivable, and moreover is hereditarily structurally complete if all its finitary extensions are structurally complete. Citkin (1997) established a characterisation of hereditarily structurally complete intermediat...