IA Logics