A Construction Method for Modal Logics of Space Spencer Gerhardt Abstract: