A General Framework for Modal Deduction.

Alan M. Frisch, Richard B. Scherl

Browse the full KR paper archive.