A modal temporal logic and its models underlying variants of planning algorithms | IEEE Conference Publication | IEEE Xplore