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)
Figures and Tables
Sorry, we couldn't extract any figures or tables for this paper.