TY  - RPRT
TI  - Product closure of some second-order modal logics
AU  - Jonathan Zvesper
PY  - 2010
UR  - https://arxiv.org/abs/1011.5183
ID  - 1011.5183
ER  -