Modal logic by Kane B

# click the up-left corner to select videos from the playlist

source: Kane B   2013年1月21日
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.

0.1 - basic introduction 11:25
0.2 - basic introduction 11:12
1.1 - system K - introduction 16:25
1.2 - truth trees for system K 16:12
1.3 - a strange property of K 3:28
1.4 - truth trees for invalid arguments in K 13:54
1.5 - logical consequence in K 19:21
1.5a - soundness & completeness 4:16
2.1 - the systems M, B, S4 & S5 14:38
2.2 - more on the accessibility relation 8:33
2.3 - two important truth tree rules, and a space saving method 11:01
2.4 - a trick for trees in S5 3:43
The modal scope fallacy 18:12