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: • Logic tutorial: how to...
If there’s a topic you’d like to see covered, leave me a comment below.
Links:
My academic philosophy page: markjago.net
My book What Truth Is: bit.ly/JagoTruth
Most of my publications are available freely here: philpapers.org...
Get in touch on Social media!
Instagram: / atticphilosophy
Twitter: / philosophyattic
#logic #philosophy

[@edwinagnew6800]

This channel is criminally underrated. Concepts are always explained clearly and simply and videos are broken into nicely sized chunks. Keep it up!
ps if you’re looking for ideas, please could you make some videos about linear logic and the philosophy of intuitionistic logic (in particular why rejecting LEM relates to rejecting platonism)?