Natural Deductive Proofs in Modal Logic (Box In, Box Out)

In this video we introduce natural deductive proofs for modal logic and cover box introduction and box elimination, along with practice proofs.
#ModalLogic #NaturalDeduction #PhilosophyProof
Follow along in the Logic playlist: • Logic in Philosophy an...
If you want to support the channel, hit the "JOIN" button above and pick a channel subscription that suits your needs: / @trevtutor
Patreon: bit.ly/2EUdAl3
Website: TrevTutor.com
Subscribe: bit.ly/1vWiRxW
Facebook: on. 1vWwDRc
-Playlists-
Logic: • Logic in Philosophy an...
-Recommended Textbooks-
The Logic Book: amzn.to/31h2qR8
Modal Logic for Philosophers (Garson): amzn.to/3dECGn4
A Friendly Introduction to Mathematical Logic: amzn.to/37hMYZa
An introduction to Formal Logic with Philosophical Applications: amzn.to/3j3J9sx
Hello, welcome to TheTrevTutor. I'm here to help you learn your college courses in an easy, efficient manner. If you like what you see, feel free to subscribe and follow me for updates. If you have any questions, leave them below. I try to answer as many questions as possible.
Special Thanks to the following incredible supporters for supporting the channel and making these videos possible!
- Nikita Tsyganov

Пікірлер: 2

  • @kaa1el960
    @kaa1el9602 ай бұрын

    great video! any plan to talk about Kripke semantics?🙂

  • @Trevtutor

    @Trevtutor

    2 ай бұрын

    Eventually!