| Issue Date | Title | Author(s) | Type | Мp-cat. |
| 1985 | Malyaukene, Liviya "Equivalence of some arithmetical system" - Mat. Logika Primenen. no.2 (1982), 9-30. | Došen, Kosta  | Contribution to periodical | |
| 1985 | Ratsa, M.F., "Functional completeness in modal logic" - Izv. Akad. Nauk Moldav. SSR Ser. Fiz.-Tekhn. Mat. Nauk 1983, no.2, 37-39 | Došen, Kosta  | Contribution to periodical | |
| 1985 | Conservativeness and uniqueness | Došen, Kosta ; Schroeder-Heister, Peter | Article | |
| 1985 | A Completeness Theorem for the Lambek Calculus of Syntactic Categories | Došen, Kosta  | Article | |
| 1985 | Malyaukene, Liviya "Free variable additive arithmetic with restricted difference" - Mat. Logika Primenen. no.2 (1982), 31-40. | Došen, Kosta  | Contribution to periodical | |
| 1985 | Chellas, Brian F. (3-CALG) $KG\sp{k,l,m,n}$ and the EFMP. - Logique et Anal. (N.S.) 26 (1983), no.103-104, 255-262 | Došen, Kosta  | Contribution to periodical | |
| 1985 | Anshakov, O.M.; Rychkov, S.V. "Axiomatization of finite-valued logical calculi" - Mat. Sb. (N.S.) 123(165) (1984), no.4, 477-495. | Došen, Kosta  | Contribution to periodical | |
| 1985 | Sequent-systems for modal logic | Došen, Kosta  | Article | |
| 1984 | Negative modal operators in intuitionistic logic | Došen, Kosta  | Article | |
| 1984 | Intuitionistic double negation as a necessity operator | Došen, Kosta  | Article | |
| 1984 | Models for normal intuitionistic modal logics | Božić, Milan; Došen, Kosta  | Article | |
| 1984 | A puzzle about logical equivalence | Došen, Kosta  | Article | |
| 1983 | Models for normal intuitionistic modal logics | Došen, Kosta ; Božić, Milan | Article | |
| 1983 | Axiomatizations of intuitionistic double negation | Došen, Kosta ; Božić, Milan | Article | |
| 1983 | Is it good to make others do something good? | Došen, Kosta  | Article | |
| 1981 | Minimal modal system in which heyting and classical logic can be embedded | Došen, Kosta  | Article | |
| 1981 | A reduction of classical propositional logic to the conjuction-negation fragment of an intuitionistic relevant logic | Došen, Kosta  | Article | |
| 1981 | A reduction of classical propositional logic to the conjunction-negation fragment of an intuitionistic relevant logic | Došen, Kosta  | Article | |
| 1980 | Logical Constants: An Essay in Proof Theory | Došen, Kosta  | Doctoral theses | |
| 1978 | A note on the law of identity and the converse parry property | Došen, Kosta  | Article | |