2 ms·"Temporal Logic of Actions", not "Three Letter Acronym".by smitty1e 3y ago"Temporal Logic of Actions", not "Three Letter Acronym".