# 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.

## Contents of this page

- In principle, meetings will be (bi-)weekly, on Wednesday afternoons,
from 15.00-17.00, in the Euclides building, Plantage
Muidergracht 24, Amsterdam.

**Friday October 1, 2010**

*Coordinates: *15.00-17.00, D1.114 (Science
Park)

*Speaker: *Minghui Ma (Beijing/Amsterdam)

*Title: *Model Theory for Coalgebraic Graded Modal Logic

*Abstract: *
Graded modal logic (GML), an extension of basic modal
logic, is the modal logic of finite cardinals. I will
show some model-theoretic aspects of GML under both
relational and coalgebraic semantics. Problems I will
cover include definability of classes of structures,
completeness of normal graded modal logics, finite model
property, correspondence theory and expressive power.
Some coalgebraic solutions are given to these problems.

**Wednesday September 15, 2010**

*Coordinates: *15.00-17.00, P016

*Speaker: *Mehrnoosh Sadrzadeh (Oxford)

*Title: *Algebraic modal logic for reasoning about information
acquisition.