-
In conventional preference aggregation, usually the result of
aggregating multiple preferences is a single preference. Thus, the
preference of the majority is seen as the aggregated preference of the
whole society. But often, members of a society have many different
tastes and these tastes are pa...
-
In the first part we prove the correctness of an existing verification
algorithm, namely counterexample-driven abstraction refinement. To be
able to state the correctness of the algorithm, we modify it such that
it verifies programs that have a formal semantics. We use
propositional dynamic logic...
-
Defeasible inheritance networks provide a fruitful environment for
modeling default reasoning. In this paper we aim to enhance their
expressive power with the idea of abnormality minimisation, which
plays a crucial role in circumscription. We implement it in two
alternative network-based framewor...
-
We introduce a computational framework for generating representations
of linguistic concepts. The concepts we consider are the meanings of
words and the verbal analogs corresponding to n-tuples of
words. Representations of meanings can be compared to estimate their
degree of synonymy. Likewise, r...
-
Investigating the logical structure of classical game theory is an
increasingly popular topic among logicians. However, evolutionary game
theory, which is an extension of classical game theory designed to
describe natural selection, has seen little application of
logic. Investigating the conseque...
-
The motivation of this thesis is the idea of extending the results in
[13] to the case of logics with fixpoints and with a non-classical
base. We focus in particular on the intuitionistic modal
mu-calculus. We enhance the ALBA algorithm [26] for the elimination of
monadic second order variables s...
-
In my thesis I challenge the two assumptions that have shaped the
research on intensional transitive verbs so far: first, that ITVs are
evaluated with respect to the belief state of their agent, and second,
that their nonspecific readings are derived from the specific ones. I
show that in evaluat...
-
This thesis is concerned with developing an update semantics to model
the speech act of promising, under various philosophical frameworks.
There are two main families of promissory framework, conventional and
expectational, we offer a hybrid account which makes up for the
deficiencies found with ...
-
Finding the right model for the structure of translation equivalence
between languages is one of the major challenges and lines of research
in statistical machine translation. In this thesis we consider a
formalization of translation equivalence as synchronous grammars and
explore a particular wa...
-
The central point of this thesis is the semi-formal approach to contexualist semantics of knowledge by David Lewis. Lewis introduces a set of rules that allow us to ignore certain parts of the space of all possibilities when we evaluate a knowledge claim. These rules are dependent on the context ...
-
Post-quantum cryptography studies the security of classical,
i.e. non-quantum cryptographic protocols against quantum
attacks. Until recently, the considered adversaries were assumed to
use quantum computers and behave like classical adversaries
otherwise. A more conservative approach is to assum...