You are about to access our book library "Logic and Its Applications: 11th Indian Conference, ICLA 2025, Kolkata, India, February 3–5, 2025, Proceedings (Lecture Notes in Computer Science) full version" .