TY  - RPRT
TI  - About the unification type of simple symmetric modal logics
AU  - Philippe Balbiani
AU  - Çiğdem Gencer
PY  - 2019
UR  - https://arxiv.org/abs/1902.03770
ID  - 1902.03770
ER  -