Modal logic 1.5a - soundness & completeness

แชร์
ฝัง
  • เผยแพร่เมื่อ 7 ก.พ. 2013
  • I briefly outline the concepts of soundness and completeness.

ความคิดเห็น • 6

  • @maxysexy69
    @maxysexy69 7 ปีที่แล้ว +15

    video starts at 1:26. Welcome :-)

  • @kennedyandjory
    @kennedyandjory 5 ปีที่แล้ว +1

    This was great - made the concepts super clear.

  • @user-gm3lg8gp3m
    @user-gm3lg8gp3m 3 ปีที่แล้ว

    This was really helpful, Thanks a lot!

  • @ffhashimi
    @ffhashimi 10 ปีที่แล้ว

    very important !

  • @nammzzi9424
    @nammzzi9424 9 ปีที่แล้ว +2

    thanks made things clearer.
    fyi, great voice XD

  • @movax20h
    @movax20h 5 ปีที่แล้ว +1

    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.