Reasoning about actions and planning in LTL action theories