Logics of Space with Connectedness Predicates: Complete Axiomatizations.

Tinko Tinchev, Dimiter Vakarelov

Browse the full AiML paper archive.