Temporal logic extended with object creation and destruction