#kripke-structures

¶ I use modal logic at work every day, and the engineers around me have no idea it was philosophy

I write formal-verification tools for chip designs in Austin. Every day my colleagues write properties like "on every path, whenever a request is issued, a grant eventually follows". In our notation that's something like AG(request → AF grant): A for "on all…