AIP Logic