Model Comparison Game and n-Bisimulation for Conditional Logic.

Xiaoxuan Fu, Zhiguang Zhao

Browse the full WoLLIC paper archive.