A meta-modal logic for bisimulations.

Alfredo Burrieza Fernando Soler-Toscano Antonio Yuste-Ginel A meta-modal logic for bisimulations. 2025 2025 Arch. Formal Proofs https://www.isa-afp.org/entries/Bisimulation_Logic.html db/journals/afp/afp2025.html#BurriezaSY25 streams/journals/afp