TY  - RPRT
TI  - Modal Independence Logic
AU  - Juha Kontinen
AU  - Julian-Steffen Müller
AU  - Henning Schnoor
AU  - Heribert Vollmer
PY  - 2014
UR  - https://arxiv.org/abs/1404.0144
ID  - 1404.0144
ER  -