research
∙
01/19/2023
Nearly Computable Real Numbers
In this article we call a sequence (a_n)_n of elements of a metric space...
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