lectures/ideas

1. Clicking ▼&► to (un)fold the tree menu may facilitate locating what you want to find. 2. Videos embedded here do not necessarily represent my viewpoints or preferences. 3. This is just one of my several websites. Please click the category-tags below these two lines to go to each independent website.

網頁

  • Lectures & Ideas
  • English Conversation
  • English Grammar
  • English Academic Writing
  • Sources contacted

2016-10-21

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
Email ThisBlogThis!Share to TwitterShare to FacebookShare to Pinterest
label: ,

No comments:

Post a Comment

Newer Post Older Post Home

Editor: Peng, Wei-Jie
Concerning copyright issue and sources contacted

Three major categories of this site [see the "Contents" below]
A. subjects
B. figures (speakers)
C. main sources
[click ▼&► to (un)fold each entry]

Contents / Classifications (分類清單)