Single Idea 13714

[catalogued under 4. Formal Logic / D. Modal Logic ML / 6. Temporal Logic]

Full Idea

We can think of the worlds of modal logic as being times, rather than 'possible' worlds.

Gist of Idea

We can treat modal worlds as different times

Source

Theodore Sider (Logic for Philosophy [2010], 7.3.3)

Book Reference

Sider,Theodore: 'Logic for Philosophy' [OUP 2010], p.189