TY  - RPRT
TI  - EXPSPACE-Completeness of the Logics K4xS5 and S4xS5 and the Logic of Subset Spaces, Part 2: EXPSPACE-Hardness
AU  - Peter Hertling
AU  - Gisela Krommes
PY  - 2019
UR  - https://arxiv.org/abs/1908.03509
ID  - 1908.03509
ER  -