Translating Inaccessible Worlds Logic into Bimodal Logic.

Olivier Gasquet, Andreas Herzig

Browse the full ECSQARU paper archive.