Doctor Logic
1.89K subscribers
7:38
What is Logic? #246: A Road-Map Through Creating a Canonical Model
Doctor Logic
122 views • 6 days ago
6:09
What is Logic? #245: Introducing Canonical Models
Doctor Logic
74 views • 11 days ago
14:53
What is Logic? #244: The S5 Completeness Method, Example 2
Doctor Logic
76 views • 1 month ago
15:43
What is Logic? #243: The S5 Completeness Method, Example 1
Doctor Logic
95 views • 1 month ago
5:31
What is Logic? #242: A Completeness Theorem for S5
Doctor Logic
91 views • 1 month ago
12:09
What is Logic? #241: The Second Lemma for the Completeness of S5
Doctor Logic
154 views • 1 month ago
14:34
What is Logic? #240: The First Lemma for the Completeness of S5
Doctor Logic
107 views • 2 months ago
5:37
What is Logic? #239: Applying The Test, Example 2
Doctor Logic
59 views • 2 months ago
5:45
What is Logic? #238: Applying The Test, Example 1
Doctor Logic
121 views • 2 months ago
7:11
What is Logic? #237: The Test
Doctor Logic
122 views • 4 months ago
10:33
What is Logic? #236: Reducing to First-Degree and Converting to OMCNF (Again...)
Doctor Logic
44 views • 4 months ago
6:18
What is Logic? #235: Converting into OMCNF
Doctor Logic
74 views • 4 months ago
8:50
What is Logic? #234: Every Theorem of S5 is Equivalent to a WFF in OMCNF
Doctor Logic
84 views • 4 months ago
9:12
What is Logic? #233: Reduction to 1st Degree
Doctor Logic
130 views • 5 months ago
11:41
What is Logic? #232: In S5, Every Wff is Equivalent to a Wff of at Most 1st-Degree
Doctor Logic
65 views • 5 months ago
9:18
What is Logic? #231: Modal Degree
Doctor Logic
109 views • 6 months ago
8:21
What is Logic? #230: Ordered Modal Conjunctive Normal Form
Doctor Logic
82 views • 6 months ago
8:29
What is Logic? #229: Modal Conjunctive Normal Form
Doctor Logic
74 views • 6 months ago
3:29
What is Logic? #228: Introducing the Completeness of S5
Doctor Logic
95 views • 6 months ago
12:00
What is Logic? #227: Four Super Useful Theorems of S5
Doctor Logic
102 views • 7 months ago
7:04
What is Logic? #226: Modal reduction principles & distinct modalities in S5
Doctor Logic
98 views • 8 months ago
11:03
What is Logic? #225: S5 as Characterizing a Class of Frames
Doctor Logic
90 views • 8 months ago
7:46
What is Logic? #224: Axiom B and its Frame Condition
Doctor Logic
99 views • 8 months ago
8:02
What is Logic? #223: Showing Equivalence of Axiomatizations
Doctor Logic
101 views • 9 months ago
4:19
What is Logic? #222: An Alternative Axiomatization of S5
Doctor Logic
95 views • 9 months ago
9:45
What is Logic? #221: Axiom E and its Frame Correspondence
Doctor Logic
179 views • 1 year ago
6:10
What is Logic? #220: S5 and its Reduction Laws
Doctor Logic
177 views • 1 year ago
5:15
What is Logic? #219: Implication Diagram of S4 Modalities
Doctor Logic
154 views • 1 year ago
12:43
What is Logic? #218: Proof that there are 14 Distinct Modalities in S4
Doctor Logic
164 views • 1 year ago
6:29
What is Logic? #217: There are 14 Distinct Modalities in S4
Doctor Logic
135 views • 1 year ago
Load More