Are There any recognized precendents of philosophers working with modal logic (or almost every other concept of math) to formalize operates of other philosophers? You signed in with A different tab or window. Reload to refresh your session. You signed out in One more tab or window. Reload to refresh https://rareaddress.org