TY  - RPRT
TI  - Description logics as polyadic modal logics
AU  - Jonne Iso-Tuisku
AU  - Antti Kuusisto
PY  - 2021
UR  - https://arxiv.org/abs/2108.08838
ID  - 2108.08838
ER  -