4 citations · 9 across the 9 of their papers we have counts for
5 papers · 2 filters
Sets, the Axiom of Choice, And All That: A Tutorial
Ernst-Erich Doberkat
This tutorial deal with the Axiom of Choice and some of its applications to topics related to Computer Science. We will see that the Axiom of Choice is equivalent to some well-know…
Stochastic Nondeterminism and Effectivity Functions
Ernst-Erich Doberkat, Pedro Sánchez Terraf
This paper investigates stochastic nondeterminism on continuous state spaces by relating nondeterministic kernels and stochastic effectivity functions to each other. Nondeterminist…
Stochastic Interpretation of Game Logic
Ernst-Erich Doberkat
Game logic is a dynamic modal logic which models strategic two person games; it contains propositional dynamic logic (PDL) as a fragment. We propose an interpretation of game logic…
Algebraic Properties of Stochastic Effectivity Functions
Ernst-Erich Doberkat
Effectivity functions are the basic formalism for investigating the semantics game logic. We discuss algebraic properties of stochastic effectivity functions, in particular the rel…
Categories and all that -- A Tutorial
Ernst-Erich Doberkat
This is a short introduction to categories with some emphasis on coalgebras. We start from introducing basic notions (categories, functors, natural transformations), move to Kleisl…