Translation-Based Deduction Methods for Modal Logics.

Olivier Gasquet, Andreas Herzig

Browse the full IPMU paper archive.