There isn't just one modal logic – there are many different systems, each with their own interesting behaviour. In this tutorial, we'll take a look at some of the main systems of modal logic from a semantic point of view.

00:00 - Intro
00:49 - Systems of Modal Logic
01:15 - Modal Frames
01:50 - Reflexivity, Symmetry, Transitivity
03:09 - Serial, Euclidian
05:27 - Entailment
07:27 - Partition Models
10:38 - Exercise
11:56 - Wrap-up

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

Links:

My academic philosophy page: [ Ссылка ]
My book What Truth Is: [ Ссылка ]
Most of my publications are available freely here: [ Ссылка ]

Get in touch on Social media!
Instagram: [ Ссылка ]
Twitter: [ Ссылка ]

#logic #philosophy #modallogic

свернуть