Two-dimensional Modal Logics with Difference Relations