My boss gave me 133 or so pages of math to read before Friday morning. I need to find something in this kind of logic to improve upon before then. Sleep should be happening now.

What’s Decidable About Program Verification Modulo Axioms?
https://arxiv.org/pdf/1910.10889.pdf

Decidable Synthesis of Programs with Uninterpreted Functions
https://arxiv.org/pdf/1910.09744.pdf

Decidable Verification of Uninterpreted Programs
https://arxiv.org/pdf/1811.00192.pdf