"Bimodal Logic with Contingency and Accident: Bisimulation and Axiomatizations"
de Jie Fan na Logica Universalis
que pode interessar muitas pessoas.
Faz uso do conceito de bisimulação promovido na lógica modal por van Benthem.
Ele mesmo apresenta este conceito de uma maneira bem clara no verbete da IEP:
JYB