Albert Visser: Cyclic Henkin Logic: Is there Life beyond Löb’s Third Condition?

Item: Albert Visser: Cyclic Henkin Logic: Is there Life beyond Löb’s Third Condition?
Rating: 4
Author: PostSingularity Institute

by Albert Visser

Formal & Physical Sciences Mathematics PBCMathematical foundations PBCDMathematical logic

🎙 Albert Visser 👥 1K 📅 August 21, 2021 ⏱ 109 min 👁 108 📄 original study 🧭 2026-08-17

Available in: English (current) Français

Keywords

Löb's conditionsprovability logicfixed pointscyclic graphsbisimulation

Summary

In this technical talk, Albert Visser introduces Cyclic Henkin Logic (CHL), a modal logic that retains Löb’s rule but drops the third Löb condition (provable implies provably provable). He motivates the study by noting that the third condition is problematic and can fail in certain arithmetical theories. He contrasts CHL with other approaches to fixed points, such as adding constants or a fixed point operator, arguing that cyclic syntax is more elegant and preserves the logic’s substitution property. The talk defines formulas as finite labeled graphs with a guard condition (each cycle must contain a box), and uses bisimulation as the notion of sameness. He demonstrates how cyclic syntax simplifies the proof of the multiple fixed point lemma and discusses the role of guards in preventing paradoxes. The talk concludes by suggesting that CHL can be viewed as a fragment of the mu-calculus, and mentions potential future work on coinduction and corecursion.

152 words

Critical Evaluation

Value of the Information & Strength of the Argument

The talk provides a valuable introduction to a novel logical framework, clearly explaining the motivation and the technical choices. Visser argues persuasively for the elegance of cyclic syntax over alternatives, using visual examples and analogies. The argumentation is rigorous, with definitions and proofs sketched, though some details are left for the paper. The discussion of bisimulation and guards is well-integrated, showing how these concepts are essential to the framework.

Scientific Rigor, Source Quality, Title Accuracy

The talk is scientifically rigorous, presenting original research with clear definitions and proofs. Visser cites relevant literature, including the book ‘The Liar’ by Barwise and Etchemendy, and mentions his own related work. The title accurately reflects the content, which explores the possibility of a logic beyond Löb’s third condition. The talk is well-structured and the technical level is high, suitable for an audience familiar with modal logic and provability logic.

154 words

Title / Content Match

The title accurately reflects the content, which explores the possibility of a logic (Cyclic Henkin Logic) that retains Löb's rule without the third Löb condition.

Quality & Reliability

8/10

The talk is a rigorous presentation of original research by a leading expert in the field. The content is technically sound and well-motivated, but the presentation is concise and assumes prior knowledge, limiting accessibility.

Key Moments

Markers derived by PSI from the transcript: the creator did not define chapters.

Cited Sources

The Liar: An Essay on Truth and Circularity — Visser mentions this book as inspiration for using cyclic syntax.
Cyclic Henkin Logic — Visser refers to his own paper on the topic, but no URL is provided.

Concurring Sources

Provability Logic — Stanford Encyclopedia of Philosophy entry on provability logic, which discusses Löb's conditions.

Contribution & Novelties

The talk introduces Cyclic Henkin Logic, a novel framework that combines Löb’s rule with cyclic syntax to handle fixed points without the third Löb condition. This approach offers a more elegant and visual way to reason about fixed points, avoiding the complexities of variable binding. The use of bisimulation and guards provides a solid foundation for further study.

Pour aller plus loin :

Provability logic — Background on the field.
Modal μ-calculus — Related framework for fixed points.
Löb’s theorem — Core result in provability logic.

86 words

Radar Profile

The radar profile shows high scores in technical level and information quality, indicating a dense and rigorous presentation. The lower score in fiabilite_globale reflects the lack of external verification, but the speaker's expertise and clear argumentation support the reliability.

Reliability 8/10