Download Many Dimensional Modal Logics Theory And Applications