Modal Propositional Logic - Symbols and Syntax

This video introduces the symbols and syntax of modal propositional logic. 0:20 - What is Modal Logic? 4:30 - Symbols 7:05 - Example (Symbols) 7:45 - Syntax 10:55 - Example 1 (Syntax) 12:06 - Simplification of Wffs 14:14 - Example 2 (Syntax)