-
In this dissertation, we discuss several types of infinite games and
related topics in set theory and mathematical logic. Chapter 1 is
devoted to the general introduction and preliminaries. The rest is
organized as follows:
Chapter 2: It is known that the Baire property is one of the nice
proper...
-
We study the properties of fragments of dependence logic (D) over finite
structures.
One essential notion used to distinguish between D-formulas is so-called
k-coherence of a formula. Satisfaction of a k-coherent formula in all teams
can be reduced to the satisfaction in the k-element sub-teams. ...
-
In Part I, we introduce logics for specifying epistemic protocols
including their goals and their dynamics. Chapter 3 departures from
the existing discussions about protocols in the field of Dynamic
Epistemic Logic by introducing a logic which can specify both the
epistemic protocols and their go...
-
This dissertation is a contribution to the philosophy of language. Its
central question is: In virtue of which facts do linguistic
expressions mean what they do? E.g. why does "apple" mean apple in
English? The question receives a systematic answer; in short:
Linguistic expressions mean what they...
-
In this thesis, we study proof-theoretic and model-theoretic aspects
of some widely used modal and quantified fixed-point logics on trees.
Chapter 2 includes basics of modal logic, temporal logic, fixed-point
logics, and some first-order and higher-order logics of tree
structures.
In Chapter ...
-
This thesis is a study into some model-theoretic aspects of the modal
\mu-calculus, the extension of modal logic with least and greatest
fixpoint operators. We explore these aspects through a
`fine-structure' approach to the \mu-calculus. That is, we
concentrate on special classes of structures ...
-
The thesis links learning theory with logics of knowledge and belief.
Following the introduction and mathematical preliminaries, Chapter 3
contains a methodological analysis of both frameworks, in particular
it analyzes the basic learning-theoretic setting in terms of dynamic
epistemic logi...
-
This thesis presents new tools and improvements of existing tools for
reasoning about actions and norms. The theoretical setting of the work
is the multi agent logic stit theory, a formal theory in the tradition
of modal logic. In this thesis, stit theory is limited to cover only
strategic situa...
-
Combining Strategies Efficiently: High-Quality Decisions from Conflicting Advice
Wouter M. Koolen
In this dissertation we study machine learning: the automated
discovery and exploitation of regularities in data. We may use
regularities identified in objects to explain the past
(e.g. archaeology,...
-
This dissertation presents a logical framework for representing small steps in dynamics of information.
Classical Epistemic Logic with possible worlds models is one of the most widely used frameworks for representing and reasoning about agents’ information.
Its dynamic counterpart, Dynamic Epist...
-