research
∙
09/30/2019
Graded modal logic and counting bisimulation
This note sketches the extension of the basic characterisation theorems ...
share
research
∙
09/25/2019
Cayley structures and common knowledge
We investigate multi-agent epistemic modal logic with common knowledge m...
research
∙
06/22/2018
Acyclicity in finite groups and groupoids
We expound a simple construction of finite groups and groupoids whose Ca...
research
∙
03/09/2018
