The papers making up this volume deal with various aspects of what we may call
operational quantum logic. This subject-lying somewhere at the crossroads of mathematics …

Our subject is that of categories, functors and distributors enriched in a base quantaloid Q.
We show how cocomplete Q-categories are precisely those which are tensored and …

The main contribution of this paper is the introduction of a dynamic logic formalism for
reasoning about information flow in composite quantum systems. This builds on our …

We present two equivalent axiomatizations for a logic of quantum actions: one in terms of
quantum transition systems, and the other in terms of quantum dynamic algebras. The main …

We address the old question whether a logical understanding of Quantum Mechanics
requires abandoning some of the principles of classical logic. Against Putnam and others …

14 a prehistory of n-categorical physics just categories and bicategories). We also include a
review of some relevant aspects of twentieth-century physics. The most obvious roads to n …

We provide an algebraic semantics together with a sound and complete sequent calculus for
information update due to epistemic actions. This semantics is flexible enough to …

New scientific paradigms typically consist of an expansion of the conceptual language with
which we describe the world. Over the past decade, theoretical physics and quantum …

In this paper we show how recent concepts from Dynamic Logic, and in particular from
Dynamic Epistemic logic, can be used to model and interpret quantum behavior. Our main …

In this paper we show how ideas coming from two areas of research in logic can reinforce
each other. The first such line of inquiry concerns the “dynamic turn” in logic and especially …