Modal Logic Tutorial: how to use Proof Trees in Modal Logic | Attic Philosophy

Tutorial on how to use proof trees (semantic tableaux) in modal logic, by philosophy lecturer Dr Mark Jago.

In this video, I go through how to use proof trees in modal logic. I introduce the new rules for the modal operators, and show how to give proofs in different modal logic systems (like K, KD, K45, and so on). I'll also show you how to build counter-models from finished proof trees.

This video builds on my intro to proof trees:

   • Logic tutorial: how to use proof tree...  

I've got a video on the background to trees in logic:    • Logic tutorial: how Trees work in Log...  

My academic philosophy page: http://markjago.net

Many of my academic publications are available freely here: https://philpapers.org/s/Mark%20Jago

Music and graphics © Attic Philosophy 2020

#logic #philosophy #tutorial #prooftrees #proofs