Propositional Logics of Overwhelming Truth. - Thibaut Antoine; David Baelde (CSL, 2025)

A Complete Diagrammatic Calculus for Automata Simulation. - Thibaut Antoine; Robin Piedeleu; Alexandra Silva 001; Fabio Zanasi (CSL, 2025)