Modal Logic (Basics)

21:17
Final Logic Problems (100 Days of Logic)

21:05
Proof that All Natural Numbers are Transitive

1:31:39
Epistemic logics for multi-agent systems by Hans van Ditmarsch

1:11:48
Advanced 6. Planning with Temporal Logic

25:57
What is Kripke Semantics? (Modal Logic)

2:37:49
Efecto Mozart en 432 Hz: aumenta la memoria y la concentración para un aprendizaje eficaz

28:45
Why the Most Foolish People End Up in Power – Machiavelli Knew This

14:13