New answers tagged modal-logic
Not an expert but familiar enough with this particular subject, i'd be more than happy if one could correct me on each point. First it was already established that Gödel's original proof suffered from modal collapse, as Sobel showed. If you phrased everything without using modals then you wont be able to use some arguably crucial axioms and theorems in ...
Top 50 recent answers are included