A temporal logic for reasoning about processes and plans

• 30 June 1982
• journal article
• Published by Wiley in Cognitive Science
• Vol. 6  (2) , 101-155
• https://doi.org/10.1016/s0364-0213(82)90003-9

Abstract

Keywords

• TEMPORAL LOGIC