Introduction: Béziau’s legacy Part 1: Affirmation and Negation Part 2: Structured values Part 3: Functional bivalence Part 4: Logics in translation Conclusion: Semi-bivalent logics S5 is a semi-bivalent logic, and so is classical logic Fabien Schang Universidade Federal de Goiás (Brazil) 26 June 2018 Fabien Schang S5 is a semi-bivalent logic, and so is classical logic