(Un)Decidability for History Preserving True Concurrent Logics