Does the deduction theorem fail for modal logic?

Raul Hakli , Sara Negri

pp. 849-867


This document is unfortunately not available for download at the moment.

Not implemented yet !