On the Decidability of Description Logics with Modal Operators.

Frank Wolter, Michael Zakharyaschev

Browse the full KR paper archive.