10:09 An Overview of Medieval Logic 6:27 Formalizing Natural Language: Predicate Logic 2:38 Formalizing Natural Language: Propositional Logic 6:33 Using Natural Language Processing with Medieval Texts 1:49 Formalizing Natural Language: Modal Logic 5:29 Natural Language Processing In 5 Minutes | What Is NLP And How Does It Work? | Simplilearn 2:59 ProofWriter: Generating Implications, Proofs, and Abductive Statements over Natural Language | AI2 3:59 History Of Logic? - The Language Library 3:33 What Is Formal Logic? - Science Through Time 3:01 Dependent Types for Natural Language 3:08 Formalizing Natural Language: Epistemic Logic