A brief, intuitive introduction to the basic concepts of modal logic. The box & diamond operators, necessity & possibility, possible worlds, etc. If you're already familiar with all this stuff, you can skip this video.
Right-click 'Download' and select 'Save Link As' if the file opens in a new tab.
