Trees for modal logics: worked examples | Attic Philosophy

Proof trees are a great way to build proofs and test arguments in modal logic. They're also a helpful way to understand the possible world semantics for modal logic. In the previous videos, I showed how proof trees work for basic modal logic, and how to extend them to all the common systems of modal logic. In this video, I’ll look at some example problems and explain how they work.

For background on how to use proof trees, see here: https://youtu.be/SChxyaksrPQ

If there’s a topic you’d like to see covered, leave me a comment below.

Links:

My academic philosophy page: http://markjago.net
My book What Truth Is: http://bit.ly/JagoTruth
Most of my publications are available freely here: https://philpapers.org/s/Mark%20Jago

Get in touch on Social media!
Instagram: https://www.instagram.com/AtticPhilosophy
Twitter: https://twitter.com/PhilosophyAttic

#logic #philosophy

Видео Trees for modal logics: worked examples | Attic Philosophy канала Attic Philosophy