activity
20062020
most citedAlgorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA

93 citations · 113 across the 6 of their papers we have counts for

collaborators
Showing 2020Show all

1 paper · 1 filter

math.LO2020

Point-free theories of space and time

Dimiter Vakarelov

The paper is in the field of Region Based Theory of Space (RBTS), sometimes called mereotopology. RBTS is a kind of point-free theory of space based on the notion of region. Its or…