What is Logic? #248: Properties of Maximal Consistent Sets
12:00
What is Logic? #248: Properties of Maximal Consistent Sets
What is Logic? #247: Maximality and Consistency
6:52
What is Logic? #247: Maximality and Consistency
What is Logic? #246: A Road-Map Through Creating a Canonical Model
7:38
What is Logic? #246: A Road-Map Through Creating a Canonical Model
What is Logic? #245: Introducing Canonical Models
6:09
What is Logic? #245: Introducing Canonical Models
What is Logic? #244: The S5 Completeness Method, Example 2
14:53
What is Logic? #244: The S5 Completeness Method, Example 2
What is Logic? #243: The S5 Completeness Method, Example 1
15:43
What is Logic? #243: The S5 Completeness Method, Example 1
What is Logic? #242: A Completeness Theorem for S5
5:31
What is Logic? #242: A Completeness Theorem for S5
What is Logic? #241: The Second Lemma for the Completeness of S5
12:09
What is Logic? #241: The Second Lemma for the Completeness of S5
What is Logic? #240: The First Lemma for the Completeness of S5
14:34
What is Logic? #240: The First Lemma for the Completeness of S5
What is Logic? #239: Applying The Test, Example 2
5:37
What is Logic? #239: Applying The Test, Example 2
What is Logic? #238: Applying The Test, Example 1
5:45
What is Logic? #238: Applying The Test, Example 1
What is Logic? #237: The Test
7:11
What is Logic? #237: The Test
What is Logic? #236: Reducing to First-Degree and Converting to OMCNF (Again...)
10:33
What is Logic? #236: Reducing to First-Degree and Converting to OMCNF (Again...)
What is Logic? #235: Converting into OMCNF
6:18
What is Logic? #235: Converting into OMCNF
What is Logic? #234: Every Theorem of S5 is Equivalent to a WFF in OMCNF
8:50
What is Logic? #234: Every Theorem of S5 is Equivalent to a WFF in OMCNF
What is Logic? #233: Reduction to 1st Degree
9:12
What is Logic? #233: Reduction to 1st Degree
What is Logic? #232: In S5, Every Wff is Equivalent to a Wff of at Most 1st-Degree
11:41
What is Logic? #232: In S5, Every Wff is Equivalent to a Wff of at Most 1st-Degree
What is Logic? #231: Modal Degree
9:18
What is Logic? #231: Modal Degree
What is Logic? #230: Ordered Modal Conjunctive Normal Form
8:21
What is Logic? #230: Ordered Modal Conjunctive Normal Form
What is Logic? #229: Modal Conjunctive Normal Form
8:29
What is Logic? #229: Modal Conjunctive Normal Form
What is Logic? #228: Introducing the Completeness of S5
3:29
What is Logic? #228: Introducing the Completeness of S5
What is Logic? #227: Four Super Useful Theorems of S5
12:00
What is Logic? #227: Four Super Useful Theorems of S5
What is Logic? #226: Modal reduction principles & distinct modalities in S5
7:04
What is Logic? #226: Modal reduction principles & distinct modalities in S5
What is Logic? #225: S5 as Characterizing a Class of Frames
11:03
What is Logic? #225: S5 as Characterizing a Class of Frames
What is Logic? #224: Axiom B and its Frame Condition
7:46
What is Logic? #224: Axiom B and its Frame Condition
What is Logic? #223: Showing Equivalence of Axiomatizations
8:02
What is Logic? #223: Showing Equivalence of Axiomatizations
What is Logic? #222: An Alternative Axiomatization of S5
4:19
What is Logic? #222: An Alternative Axiomatization of S5
What is Logic? #221: Axiom E and its Frame Correspondence
9:45
What is Logic? #221: Axiom E and its Frame Correspondence
What is Logic? #220: S5 and its Reduction Laws
6:10
What is Logic? #220: S5 and its Reduction Laws
What is Logic? #219: Implication Diagram of S4 Modalities
5:15
What is Logic? #219: Implication Diagram of S4 Modalities