Tractable Transformations from Modal Provability Logics into First-Order Logic.

Stphane Demri, Rajeev Gor

Browse the full CADE paper archive.