On existential declarations of independence in IF Logic

Fausto Barbero

We analyze the behaviour of declarations of independence between existential quantifiers in quantifier prefixes of IF sentences; we give a syntactical criterion for deciding whethe…