This document is unfortunately not available for download at the moment.
Torben Braüner, Per F. V. Hasle , Peter Øhrstrøm (2006) Synthese 150 (3).
Logical connectives for constructive modal logic
Heinrich Wansing
pp. 459-482
Not implemented yet !
Torben Braüner, Per F. V. Hasle , Peter Øhrstrøm (2006) Synthese 150 (3).
pp. 459-482
This document is unfortunately not available for download at the moment.