Logic for Complex IDPs