Definitions and (Uniform) Interpolants in First-Order Modal Logic.

Agi Kurucz, Frank Wolter, Michael Zakharyaschev

Browse the full KR paper archive.