Abstract
It is well-known that Independence Friendly (IF) logic is equivalent to existential second-order logic (Σ 1) and, therefore, is not closed under classical negation. The boolean closure of IF sentences, called Extended IF-logic, on the other hand, corresponds to a proper fragment of ∆2. In this paper we consider IF-logic extended with Hodges’ flattening… (More)