@misc{indiciaea0f2655a58e8,
  title = {EXPSPACE-Completeness of the Logics K4xS5 and S4xS5 and the Logic of Subset Spaces, Part 2: EXPSPACE-Hardness},
  author = {Peter Hertling and Gisela Krommes},
  year = {2019},
  url = {https://arxiv.org/abs/1908.03509},
  note = {Source identifier: 1908.03509}
}