This note sketches the extension of the basic characterisation theorems ...
We investigate multi-agent epistemic modal logic with common knowledge
m...
We expound a simple construction of finite groups and groupoids whose Ca...
Inquisitive modal logic InqML is a generalisation of standard Kripke-sty...