Axiomatizing the Logic of Imagination