Modal Logic for Simulation, Refinement, and Mutual Ignorance

Hans van Ditmarsch, Tim French, Rustam Galimullin +1

Simulation and refinement are variations of the bisimulation relation, where in the former we keep only atoms and forth, and in the latter only atoms and back. Quantifying over sim…