Rob Goldblatt Strong completeness of a first order temporal logic for real time
47:46
Nick Smith What is a formal proof?
52:58
Ed Mares Partial and False Information
30:49
Dominik Kirst and Ian Shillito A Succinct and Verified Completeness Proof for First Order Bi Intu
25:55
THE THREE MATH BOOKS THAT CHANGED MY LIFE
49:44
MOX Colloquia: ROB STEVENSON, January 23, 2025
14:31
The soundness and completeness of logic
23:55
Jonte Deakin Weak and Strong Bi Intuitionistic Logics from an Abstract Algebraic Logic Perspective
27:32