ขนาดวิดีโอ: 1280 X 720853 X 480640 X 360
แสดงแผงควบคุมโปรแกรมเล่น
เล่นอัตโนมัติ
เล่นใหม่
video starts at 1:26. Welcome :-)
This was great - made the concepts super clear.
This was really helpful, Thanks a lot!
very important !
thanks made things clearer.fyi, great voice XD
This appears it have nothing to do directly with modal logic. It is more general notion in logic.Also, the video doesn't answer important question, is system k with trees, sound or complete.
video starts at 1:26. Welcome :-)
This was great - made the concepts super clear.
This was really helpful, Thanks a lot!
very important !
thanks made things clearer.
fyi, great voice XD
This appears it have nothing to do directly with modal logic. It is more general notion in logic.
Also, the video doesn't answer important question, is system k with trees, sound or complete.