Logic-Induced Bisimulations