-
In this thesis we generalize standard two-player game semantics to a
multi-player setting. We develop a multi-player propositional logic
(MPL), a multi-player modal logic (MML) and a multi-player modal
mu-calculus (muMML), for any finite set of players.
The thesis will revolve around the logics ...
-
Logics of imperfect information, such as IF-Logic or Dependence Logic,
admit a game-theoretic semantics: every formula \phi corresponds to a
game H(\phi) between a Verifier and a Falsifier, and the formula is
true [false] if and only if the Verifier [Falsifier] has a winning
strategy.
Since the ...
-
Multiagent resource allocation studies the distribution of resources
among agents in different ways depending on the criteria that are to
be satisfied. The allocation of resources can be carried out in a
centralized or distributed manner. The resources may be discrete or
continuous, sharable or n...
-
How to solve the conjunction fallacy?
A discussion of alternative approachees
Dewi S.Harten
Abstract:
Since many years, people have tried to understand and to model their
own behavior and language. This has proven to be a difficult, yet
rewarding task. Since the development of artificial intel...
-
Visser shows that a first-order theory is sequential (has ‘global
coding’) iff (roughly) it directly interprets a weak set theory,
AS. The programme behind Visser’s result is to find coordinate free
ways of thinking about notions of coding. In this thesis, we add some
results to Visser’s programm...
-
In this thesis, we investigate intuitionistic subframe formulas and
NNIL- formulas by using the technique of n-universal
models. Intuitionistic sub- frame formulas axiomatize subframe logics
which are intermediate logics characterized by a class of frames
closed under subframes. Zakharyaschev in-...
-
Judgments about semantic (in)correctness in natural language occur in
our daily conversations. Regarding a speaker or interpreter, we can
make an assessment of her use or interpretation of an expression with
respect to that expression~s linguistic meaning. Judgments about
semantic (in)correctness...
-
Since Plato’s Theatetus, propositional knowledge has been a perennial
topic in philosophy. Even though the concept of knowledge and its
analysis present such a long tradition, there is still the presence of
“an extraordinary range of existing disagreements concerning
conditions of knowing that s...
-
Autistic Number Learning
What Autism Can Tell Us About the Acquisition of Number Concepts
Daan Dirk de Jonge
Abstract:
Autists count differently when compared with typically developing
individuals. Autists differ from typically developing individuals in
their counting skills by a slower reactio...
-
Going for a Walk on a Fine Summer’s Day While a Sea-battle is Taking Place,
or
Concerning Future Contingents and Intentional Action
Petros D. Stamatis
Abstract:
This thesis, as its title makes clear, is about future contingency and
intentional action. It was prompted by a genuine anxiety abou...
-
Classical model theory deals essentially with elementary classes,
namely, the classes that consist of models of a given complete
first-order theory. Yet, many natural mathematical classes are
non-elementary; examples include the class of well-ordered sets and
the class of Archimedean ordered fiel...