-
This thesis aims to propose an alternative Kripke-like semantics for multi-agent doxastic/epistemic logics. The approach is based on the intuition that when thinking about others' information states, we actually have some ``imaginary agents" in our mind, who may differ from the actual persons in ...
-
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...