Are There any acknowledged precendents of philosophers working with modal logic (or almost every other concept of math) to formalize is effective of other philosophers? You signed in with An additional tab or window. Reload to refresh your session. You signed out in One more tab or window. Reload to https://tokenaddress.org