The idea for this book was suggested by Bill Cobern. We would like to thank him for his
encouragement and support. A number of people assisted in the preparation of this book …

In this article two game-theoretically flavored approaches to logic are systematically
compared: dialogical logic founded by Paul Lorenzen and Kuno Lorenz, and the game …

Game semantics has almost achieved the status of a paradigm in computer science but
philosophers are slow to take notice. One reason for this might be the lack of a convincing …

Independence friendly logic (IF logic, IF first-order logic) is an extension of first-order logic. In
it, more quantifier dependencies and independencies can be expressed than in first-order …

This book presents several recent advances in natural language semantics and explores the
boundaries between syntax and semantics over the last two decades. It is based on some of …

Logic, Epistemology, and the Unity of Science aims to reconsider the question of the unity of
science in light of recent developments in logic. At present, no single logical, semantical or …

Epistemic logic is a multi-faceted theory aimed at targeting notions such as knowledge,
belief, information, awareness, memory and other propositional attitudes, by means of …

The purpose of this paper is to introduce the reader to game-theoretic semantics (GTS), and
to chart some of its current directions, with a focus on epistemological issues. GTS was …

This paper presents a topological and game-theoretic extension of the system of Existential
Graphs (eg). Eg s were Charles S. Peirce's diagrammatic and iconic approach to logic. By …

I will show that the semantic structure of a new imperfect-information propositional logic can
be described in terms of extensive forms of semantic games. I will discuss some ensuing …