LOGICS FOR PROPOSITIONAL CONTINGENTISM

It is shown that the resulting logic containing an existential quantifier is not Recursively axiomatizable, as it is recursively isomorphic to second-order logic, and a natural candidate axiom atization for the resulting reasoning is shown to be incomplete.