-
Quantum computing - so weird, so wonderful - inspires much speculation
about the line between the possible and the impossible. (Of course,
there is still unclarity about how "impossible" intractable problems
are and about how "possible" quantum computers are.) This thesis takes
a slightly differe...
-
-
In this thesis we investigate the connection between two intermediate logics:
Medvedev's logic and the logic of chequered subsets. The former has been
introduced by Medvedev in the sixties as a a logic of finite problems and the
later, by van Benthem, Bezhanishvili and Gehrke in 2003 as a spatial...
-
We show using duality and category theory that the profinite
completion $\mathbb{\hat A}$ of a bounded distributive lattice
expansion $\mathbb{A}$ is a homomorphic image of the canonical
extension $\mathbb{A}^{\sigma}$. Moreover the natural mapping
$\mu\colon \mathbb{A} \rightarrow \math...
-
-
-
-
-
In this thesis, we will first provide a comprehensive outlook of
subset space logic in detail in order to set the basis for our future
discussions of the subject.
Then, we will import some simple truth preserving operations which are
familiar from (basic) modal logic and provide their definitions...
-
In this thesis a successful formalization of implicatures using
extended logic programming is given. This provides a cognitively more
interesting account than traditional formalizations. Focus lies on the
class of Q-implicatures, but I-implicatures are dealt with as
well. The thesis also includes...
-
This thesis explores to what extent legal knowledge and legal
reasoning can be encoded in the Event Calculus (hereafter, EC), and
how EC needs to be extended (if at all) to accommodate legal reasoning
and knowledge. The locutions 'legal knowledge' and 'legal reasoning'
gather a variety of dispara...