3 ms·Temporal Logic of Actions, for other curious readers.by Infernal 4y agoTemporal Logic of Actions, for other curious readers.