Все публикации

0:05:56

What is Logic? #251: Defining Worlds in the Canonical Model

0:20:21

What is Logic? #250: Lindenbaum's Lemma

0:06:01

What is Logic? #249: More Properties of Maximal Consistent Sets

0:12:00

What is Logic? #248: Properties of Maximal Consistent Sets

0:06:52

What is Logic? #247: Maximality and Consistency

0:07:38

What is Logic? #246: A Road-Map Through Creating a Canonical Model

0:14:53

What is Logic? #244: The S5 Completeness Method, Example 2

0:15:43

What is Logic? #243: The S5 Completeness Method, Example 1

0:05:31

What is Logic? #242: A Completeness Theorem for S5

0:12:09

What is Logic? #241: The Second Lemma for the Completeness of S5

0:14:34

What is Logic? #240: The First Lemma for the Completeness of S5

0:05:37

What is Logic? #239: Applying The Test, Example 2

0:05:45

What is Logic? #238: Applying The Test, Example 1

0:07:11

What is Logic? #237: The Test

0:10:33

What is Logic? #236: Reducing to First-Degree and Converting to OMCNF (Again...)

0:06:18

What is Logic? #235: Converting into OMCNF

0:08:50

What is Logic? #234: Every Theorem of S5 is Equivalent to a WFF in OMCNF

0:09:12

What is Logic? #233: Reduction to 1st Degree

0:11:41

What is Logic? #232: In S5, Every Wff is Equivalent to a Wff of at Most 1st-Degree

0:09:18

What is Logic? #231: Modal Degree

0:08:21

What is Logic? #230: Ordered Modal Conjunctive Normal Form

0:08:29

What is Logic? #229: Modal Conjunctive Normal Form

0:12:00

What is Logic? #227: Four Super Useful Theorems of S5

0:07:04

What is Logic? #226: Modal reduction principles & distinct modalities in S5