First-Order Logic Courses and Certifications

Topos Institute

Diagrammatic Algebra of First Order Logic

Explore the neo-Peircean relations calculus and its diagrammatic representation of first-order logic, examining cartesian and linear bicategories in algebraic structures.

• YouTube
• 1 hour 6 minutes
• On-Demand
• Free Video

Discover AI

Watch Out for AI Phase Transitions - First Order Logic

Discover how AI models experience logical phase transitions and learn to identify the exact breaking points where LLM reasoning collapses using first-order logic principles.

• YouTube
• 20 minutes
• On-Demand
• Free Video

Simons Institute

Ramsey Quantifiers in First-Order Logic - Complexity and Applications to Verification

Exploring Ramsey quantifiers in first-order logic, their complexity, and applications to verification, with focus on liveness and termination in infinite-state systems.

• YouTube
• 30 minutes
• On-Demand
• Free Video

Neuro Symbolic

First Order Logic (FOL) Tutorial - Predicate Calculus and Knowledge Reasoning

Explore first-order logic fundamentals: predicates, constants, variables, quantification, and graphical representations. Essential for knowledge reasoning and logic programming.

• YouTube
• 16 minutes
• On-Demand
• Free Video

ACM SIGPLAN

Reducing Liveness to Safety in First-Order Logic

Explore a novel technique for verifying temporal properties in infinite-state systems through first-order logic, enabling mechanical verification of complex distributed protocols like TLB Shootdown and Stoppable Paxos.

• YouTube
• 26 minutes
• On-Demand
• Free Video

Hausdorff Center for Mathematics

First-Order Logic from a Naproche Perspective

Explore first-order logic through the lens of Naproche, a natural language proof checker, in this insightful talk by Peter Koepke at the School on Formal Mathematics.

• YouTube
• 24 minutes
• On-Demand
• Free Video

Semantics of First-Order Logic

8 ratings at edX

Explore first-order logic's language, semantics, and limitations. Investigate sentence truth, logical truths, and relationships between expressions. Gain foundational knowledge for advanced logic studies.

• edX
• 4 weeks, 5-10 hours a week
• On-Demand
• Free Online Course (Audit)

IEEE

CirC - Compiler Infrastructure for Proof Systems, Software Verification, and More

Explore compiler infrastructure for proof systems and software verification, focusing on CirC's capabilities, multiparty computation, and potential applications in various domains.

• YouTube
• 19 minutes
• On-Demand
• Free Video

ACM SIGPLAN

Finding Infinite Counter-Models in Deductive Verification

Explore innovative techniques for finding infinite counter-models in deductive verification, enhancing automated solvers' capabilities and providing valuable insights for verification failures.

• YouTube
• 19 minutes
• On-Demand
• Free Video

ACM SIGPLAN

Complete First-Order Reasoning for Properties of Functional Programs - OOPSLA 2023

Explore complete first-order reasoning for functional program properties, uncovering theoretical foundations of verification tools and explaining their efficacy, limitations, and user assistance role.

• YouTube
• 19 minutes
• On-Demand
• Free Video

ACM SIGPLAN

On the Power of Temporal Prophecy

Explore temporal prophecy's power in liveness and termination proofs, including its application to non-primitive recursive functions like Ackermann's.

• YouTube
• 35 minutes
• On-Demand
• Free Video

ACM SIGPLAN

Automated Datastructure Verification Using Unfoldings and SMT Solving - Foundations and FO-Completeness

Explore automated datastructure verification techniques using unfoldings and SMT solving. Learn foundations, FO-completeness, and applications in program verification.

• YouTube
• 2 hours 57 minutes
• On-Demand
• Free Video

Simons Institute

Semiring Semantics

Explore semiring semantics in logic, evaluating statements with values beyond true/false. Learn applications in database queries, provenance analysis, and extensions to various logical systems.

• YouTube
• 1 hour 6 minutes
• On-Demand
• Free Video

ACM SIGPLAN

Foundations for Natural Proofs and Quantifier Instantiation

Delve into foundational research on natural proofs and quantifier instantiation, exploring systematic term instantiation completeness and recursive definitions in first-order logic verification.

• YouTube
• 25 minutes
• On-Demand
• Free Video

Hausdorff Center for Mathematics

Generic Functions and Quasiminimality

Explore Zilber's theory of generic functions on fields, examining first-order axiomatization through Schanuel property and existential closedness, plus quasiminimality properties.

• YouTube
• 1 hour 7 minutes
• On-Demand
• Free Video