1. Dosen K. Logical Constants: An Essay in Proof Theory D. Phil. thesis University of Oxford 1980
2. Sequent-systems for modal logic;Dosen;The Journal of Symbolic Logic,1985
3. DOSEN , K. P. SCHROEDER-HEISTER
4. Meeting of the Association for Symbolic Logic