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.