Logic in Accounts of the Potential and Actual Infinite