# Algebra|Coalgebra Seminar

This page concerns the Algebra|Coalgebra Seminar, which presently runs on
a weekly basis at the
Institute for Logic, Language &
Computation of the Universiteit van Amsterdam.
Its participants are the members of the
Algebra & Coalgebra
project group headed by
Dr Yde Venema, and guests.

## Contents of this page

- In principle, meetings will be on Wednesday afternoons,
from 15.00-17.00, in the Faculty of Science Building, Science Park,
Amsterdam.
Directions can be found here.

**Wednesday November 25, 2009**

*Coordinates: *15.00-17.00, A106

*Speaker: *Chris Heunen (Oxford)

*Title: *Quantifiers are modal in quantum logic

*Abstract: *
We consider categories satisfying the quite weak property of
having so-called dagger kernels. It turns out that their subobject
lattices model quantum logic. In particular, this approach enables us to
define and study quantifiers. We find that there can be no universal
quantifier in general. But there is an existential quantifier, which
turns out to behave like a modal operator.

**Wednesday October 21, 2009**

*Coordinates: *15.00-17.00, A108

*Speaker: * Clemens Kupke (London)

*Title: * Tableaux Games for Coalgebraic Logics.

**Wednesday October 28, 2009**

*Coordinates: *15.00-17.00, A106

*Speaker: *Lutz Schroeder (Bremen)

*Title: *Coalgebraic Correspondence Theory.

**Wednesday November 4, 2009**

*Coordinates: *15.00-17.00, A106

*Speaker: *Aquil Khan

*Title: * An Algebraic Semantics for the Logic of Multiple-Source
Approximation Systems.

**Wednesday November 11, 2009**

*Coordinates: *15.00-17.00, A106

*Speaker: *Katsuhiko Sano

*Title: *Hybrid Completeness for Neighborhood Semantics

**
Thursday November 19, 2009**

*Coordinates: *14.30-16.00, A110

*Speaker: *Ivano Ciardelli

*Title: *Inquisitive semantics and logic

(This will be a joint session with the Dynamics Seminar)

hr>