TY  - RPRT
TI  - A many-sorted polyadic modal logic
AU  - Ioana Leustean
AU  - Natalia Moanga
AU  - Traian Florin Serbanuta
PY  - 2018
UR  - https://arxiv.org/abs/1803.09709
ID  - 1803.09709
ER  -