TY  - RPRT
TI  - Symmetries in Modal Logics
AU  - Carlos Areces
AU  - Guillaume Hoffmann
AU  - Ezequiel Orbe
PY  - 2013
DO  - 10.4204/eptcs.113.6
UR  - https://arxiv.org/abs/1303.7327
ID  - 1303.7327
ER  -