_    ___ ___      _                               
   / \  |_ _/ _ \ ___| |_ _ __ ___  __ _ _ __ ___  ___
  / _ \  | | | | / __| __| '__/ _ \/ _` | '_ ` _ \/ __|
 / ___ \ | | |_| \__ \ |_| | |  __/ (_| | | | | | \__ \
/_/   \_\___\___/|___/\__|_|  \___|\__,_|_| |_| |_|___/

Invidious > Channel > Doctor Logic

Doctor Logic	2070 subscribers    RSS
View channel on YouTube Videos Playlists

YT 12 minutes 146 views Shared 5 months ago Doctor Logic What is Logic? #248: Properties of Maximal Consistent Sets YT 6 minutes 52 seconds 121 views Shared 5 months ago Doctor Logic What is Logic? #247: Maximality and Consistency YT 7 minutes 38 seconds 219 views Shared 7 months ago Doctor Logic What is Logic? #246: A Road-Map Through Creating a Canonical Model

YT 6 minutes 9 seconds 159 views Shared 7 months ago Doctor Logic What is Logic? #245: Introducing Canonical Models YT 14 minutes 53 seconds 99 views Shared 8 months ago Doctor Logic What is Logic? #244: The S5 Completeness Method, Example 2 YT 15 minutes 43 seconds 115 views Shared 8 months ago Doctor Logic What is Logic? #243: The S5 Completeness Method, Example 1

YT 5 minutes 31 seconds 117 views Shared 8 months ago Doctor Logic What is Logic? #242: A Completeness Theorem for S5 YT 12 minutes 9 seconds 178 views Shared 8 months ago Doctor Logic What is Logic? #241: The Second Lemma for the Completeness of S5 YT 14 minutes 34 seconds 127 views Shared 9 months ago Doctor Logic What is Logic? #240: The First Lemma for the Completeness of S5

YT 5 minutes 37 seconds 67 views Shared 9 months ago Doctor Logic What is Logic? #239: Applying The Test, Example 2 YT 5 minutes 45 seconds 134 views Shared 9 months ago Doctor Logic What is Logic? #238: Applying The Test, Example 1 YT 7 minutes 11 seconds 137 views Shared 11 months ago Doctor Logic What is Logic? #237: The Test

YT 10 minutes 33 seconds 50 views Shared 11 months ago Doctor Logic What is Logic? #236: Reducing to First-Degree and Converting to OMCNF (Again...) YT 6 minutes 18 seconds 82 views Shared 1 year ago Doctor Logic What is Logic? #235: Converting into OMCNF YT 8 minutes 50 seconds 103 views Shared 1 year ago Doctor Logic What is Logic? #234: Every Theorem of S5 is Equivalent to a WFF in OMCNF

YT 9 minutes 12 seconds 145 views Shared 1 year ago Doctor Logic What is Logic? #233: Reduction to 1st Degree YT 11 minutes 41 seconds 74 views Shared 1 year ago Doctor Logic What is Logic? #232: In S5, Every Wff is Equivalent to a Wff of at Most 1st-Degree YT 9 minutes 18 seconds 119 views Shared 1 year ago Doctor Logic What is Logic? #231: Modal Degree

YT 8 minutes 21 seconds 89 views Shared 1 year ago Doctor Logic What is Logic? #230: Ordered Modal Conjunctive Normal Form YT 8 minutes 29 seconds 101 views Shared 1 year ago Doctor Logic What is Logic? #229: Modal Conjunctive Normal Form YT 3 minutes 29 seconds 115 views Shared 1 year ago Doctor Logic What is Logic? #228: Introducing the Completeness of S5

YT 12 minutes 113 views Shared 1 year ago Doctor Logic What is Logic? #227: Four Super Useful Theorems of S5 YT 7 minutes 4 seconds 123 views Shared 1 year ago Doctor Logic What is Logic? #226: Modal reduction principles & distinct modalities in S5 YT 11 minutes 3 seconds 103 views Shared 1 year ago Doctor Logic What is Logic? #225: S5 as Characterizing a Class of Frames

YT 7 minutes 46 seconds 121 views Shared 1 year ago Doctor Logic What is Logic? #224: Axiom B and its Frame Condition YT 8 minutes 2 seconds 111 views Shared 1 year ago Doctor Logic What is Logic? #223: Showing Equivalence of Axiomatizations YT 4 minutes 19 seconds 114 views Shared 1 year ago Doctor Logic What is Logic? #222: An Alternative Axiomatization of S5

YT 9 minutes 45 seconds 198 views Shared 1 year ago Doctor Logic What is Logic? #221: Axiom E and its Frame Correspondence YT 6 minutes 10 seconds 194 views Shared 1 year ago Doctor Logic What is Logic? #220: S5 and its Reduction Laws YT 5 minutes 15 seconds 171 views Shared 2 years ago Doctor Logic What is Logic? #219: Implication Diagram of S4 Modalities

YT 12 minutes 43 seconds 180 views Shared 2 years ago Doctor Logic What is Logic? #218: Proof that there are 14 Distinct Modalities in S4 YT 6 minutes 29 seconds 151 views Shared 2 years ago Doctor Logic What is Logic? #217: There are 14 Distinct Modalities in S4 YT 11 minutes 16 seconds 188 views Shared 2 years ago Doctor Logic What is Logic? #216: Four Modal Reduction Principles in S4

YT 4 minutes 30 seconds 275 views Shared 2 years ago Doctor Logic What is Logic? #215: An Introduction to S4 and S5 YT 4 minutes 18 seconds 153 views Shared 2 years ago Doctor Logic What is Logic? #214: Lewis's Logic S3, an"Unreasonable Logic" YT 3 minutes 33 seconds 120 views Shared 2 years ago Doctor Logic What is Logic? #213: Lewis's Logic S2

YT 7 minutes 11 seconds 179 views Shared 2 years ago Doctor Logic What is Logic? #212: Lewis's Logic S1 YT 6 minutes 4 seconds 255 views Shared 2 years ago Doctor Logic What is Logic? #211: Why Does No One Talk About S1, S2, or S3? YT 10 minutes 52 seconds 172 views Shared 2 years ago Doctor Logic What is Logic? #210: Motivations for S4 and S5

YT 6 minutes 36 seconds 103 views Shared 2 years ago Doctor Logic What is Logic? #209: Modal Reduction Principles, Part 2 YT 7 minutes 20 seconds 189 views Shared 2 years ago Doctor Logic What is Logic? #208: Modal Reduction Principles, Part 1 YT 12 minutes 3 seconds 178 views Shared 2 years ago Doctor Logic What is Logic? #207: Iterated Modalities and Standard Form

YT 15 minutes 16 seconds 119 views Shared 2 years ago Doctor Logic What is Logic? #206: A Very Interesting Fact About D YT 3 minutes 4 seconds 56 views Shared 2 years ago Doctor Logic What is Logic? #205: Modal Constant Wffs YT 5 minutes 16 seconds 49 views Shared 2 years ago Doctor Logic What is Logic? #204: An Alternative Axiomatic Basis for D

YT 16 minutes 38 seconds 90 views Shared 2 years ago Doctor Logic What is Logic? #203: The Semantics of D YT 5 minutes 22 seconds 102 views Shared 2 years ago Doctor Logic What is Logic? #202: Introduction to System D YT 6 minutes 53 seconds 92 views Shared 2 years ago Doctor Logic What is Logic? #201: What you can't prove in T and What T isn't good for

YT 12 minutes 12 seconds 230 views Shared 2 years ago Doctor Logic What is Logic? #200: Ask Me Anything YT 2 minutes 37 seconds 138 views Shared 2 years ago Doctor Logic What is Logic? #199: Why is System T called "T"? YT 5 minutes 20 seconds 105 views Shared 2 years ago Doctor Logic What is Logic? #198: An Inadmissable Rule in T

YT 7 minutes 31 seconds 83 views Shared 2 years ago Doctor Logic What is Logic? #197: Some Theorems in T YT 5 minutes 1 second 111 views Shared 2 years ago Doctor Logic What is Logic? #196: System T YT 1 minute 47 seconds 105 views Shared 2 years ago Doctor Logic What is Logic? #195: Structural Completeness

YT 6 minutes 45 seconds 110 views Shared 2 years ago Doctor Logic What is Logic? #194: A Rule that is Admissable but Not Derivable in K YT 8 minutes 40 seconds 174 views Shared 2 years ago Doctor Logic What is Logic? #193: Admissable vs. Derivable Rules YT 10 minutes 7 seconds 121 views Shared 2 years ago Doctor Logic What is Logic? #192: Alternative Axiomatic Bases

YT 6 minutes 31 seconds 116 views Shared 2 years ago Doctor Logic What is Logic? #191: The PL-Transform YT 9 minutes 6 seconds 141 views Shared 2 years ago Doctor Logic What is Logic? #190: Two More Theorems of K YT 4 minutes 8 seconds 191 views Shared 2 years ago Doctor Logic What is Logic? #189: Two More Derived Rules