LogiCoL: Logically-Informed Contrastive Learning for Set-based Dense Retrieval