Are There any recognized precendents of philosophers working with modal logic (or any other principle of math) to formalize works of other philosophers? You signed in with A different tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. https://raretron.org