暂时逻辑说明翻译

英语翻译：

【计】 temporal logic specification

分词翻译：

暂时的英语翻译：

for a while; for the moment; at this stage; temporarily; transitorily
【法】 pro tempore

逻辑的英语翻译：

logic
【计】 logic
【经】 logic

说明的英语翻译：

explain; narrate; account for; illustrate; make out; say; show; specify; state
directions; explanation
【计】 DCL; declaration; elucidata; explanatory notes
【化】 specification; specify
【经】 explanation; explanatory note; justification