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