research
∙
08/09/2019
EXPSPACE-Completeness of the Logics K4xS5 and S4xS5 and the Logic of Subset Spaces, Part 2: EXPSPACE-Hardness
It is known that the satisfiability problems of the product logics K4xS5...
research
∙
08/09/2019