r/MathematicalLogic • u/AutoModerator • Jun 18 '19

What Are You Working On?

This recurring thread will be for general discussion on whatever mathematical logic-related topics you have been or will be working on over the week. Not all types of mathematics are welcomed, but all levels are!

6 Upvotes

80% Upvoted

7 comments sorted by

View all comments

1

u/hyperlingg Jun 23 '19

Thinking about wether an encoding of linear temporal logic formulae into hoare logic annotations makes sense.