- 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.
Repository navigation
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|