My attempts to solve some problems from the book by Hirsch and Hodkinson 'Relation algebras and games', for example Problem 19.17. I'm going to track here my progress on some tasks about modal logics related to products and filtration as well.