# national reading group on logic

In November 2010 we started a national reading group on logic. The reading group consists of logicians from the universities of Brussels, Ghent and Leuven, and visiting fellows at those universities and/or at the VLAC. We meet on a weekly basis, in Brussels. We are now reading 'Algebraic Methods in Philosophical Logic', by J. Michael Dunn and Gary Hardegree. In Fall 2010, we studied the handbook chapter on 'Model Theory of Modal Logic' by Valentin Goranko and Martin Otto, published in the Handbook of Modal Logic (with additional readings from the textbook Modal Logic by Patrick Blackburn, Maarten de Rijke and Yde Venema).

**Upcoming and previous meetings**

- February 15, 2011: 'Algebraic Methods in Philosophical Logic', chapters 2 and 3
- February 3, 2011: 'Algebraic Methods in Philosophical Logic', chapter 1: completely; chapter 2: sections 2.1 - 2.8
- January 12, 2011: 'Model Theory of Modal Logic', section 7 (cont'd) and section 8
- December 22, 2010: 'Model Theory of Modal Logic', section 7
- December 15, 2010: 'Model Theory of Modal Logic', section 6 (additional material on (ultra)filters)
- December 1, 2010: 'Model Theory of Modal Logic', section 4
- November 24, 2010: 'Model Theory of Modal Logic', subsections 3.6 - 3.10
- November 17, 2010: 'Model Theory of Modal Logic', subsections 3.1 - 3.5; 'Modal Logic', alternative proof of the Hennessy-Milner theorem
- November 10, 2010: 'Model Theory of Modal Logic', sections 1 and 2

**Additional documents**

- a short paper with some results about bisimulation contractions
- a note about definability by a set of formulae/by a single formula
- an alternative (non-game-based) proof that infinitary modal equivalence and bisimilarity are equivalent
- a proof that modal equivalence up to modal depth
*n*does*not*imply*n*-bisimilarity

**Current Members**

- Patrick Allo (Brussels)
- Mathieu Beirlaen (Ghent)
- Lorenz Demey (Leuven)
- Jonas De Vuyst (Brussels)
- Jan Heylen (Leuven)
- Giuseppe Primiero (Ghent)
- Christian Strasser (Ghent)
- Rafal Urbaniak (Ghent)
- Frederik Van De Putte (Ghent)
- Peter VerdÃ©e (Ghent)

**Former Members**

- Max Creswell (VLAC visiting fellow): Fall 2010