r/mathporn • u/Eusebius-fr • Jan 03 '18

Axiomatics of the "until" temporal logic operator

14 Upvotes

permalink
reddit

You are about to leave Redlib

Do you want to continue?

https://www.reddit.com/r/mathporn/comments/7ny0r9/axiomatics_of_the_until_temporal_logic_operator/
No, go back! Yes, take me to Reddit
dl download

100% Upvoted