Math 12 JAN, 2019 EXPSPACE-Completeness of the Logics K4xS5 and S4xS5 and the Logic of Subset Spaces, Part 2: EXPSPACE-Hardness By Peter Hertling and Gisela Krommes
