Ideas from 'Model Theory for Modal Logic I' by Kit Fine [1978], by Theme Structure

green numbers give full details    |     back to texts     |     expand this idea

4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / h. System S5
S5 provides the correct logic for necessity in the broadly logical sense