| Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
| 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   | Informativni prilog | |
| 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 | Informativni prilog | |
| 1985 | Malyaukene, Liviya "Free variable additive arithmetic with restricted difference" - Mat. Logika Primenen. no.2 (1982), 31-40. | Došen, Kosta | Informativni prilog | |
| 1985 | Sequent-systems for modal logic | Došen, Kosta | Naučni članak | 21M21 - Vodeći međunarodni časopis kategorije M21 |
| 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 | Informativni prilog | |
| 1985 | Nishimura Hirokazu, "A cut-free sequential system for the propositional modal logic of finite chains" - Publ. Res. Inst. Math. Sci. 19 (1983), no.1, 305-316 | Došen, Kosta | Informativni prilog | |
| 1985 | Models for stronger normal intuitionistic modal logics | Došen, Kosta | Naučni članak | |
| 1985 | Krivtsov, V.N. "A type of formal negationless system" - Vestnik Moskov. Univ. Ser. I Mat. Mekh. 1984, no.2, 27-31. | Došen, Kosta | Informativni prilog | |
| 1984 | Negative modal operators in intuitionistic logic | Došen, Kosta | Naučni članak | |
| 1984 | Models for normal intuitionistic modal logics | Božić, Milan; Došen, Kosta | Naučni članak | |
| 1984 | Intuitionistic double negation as a necessity operator | Došen, Kosta | Naučni članak | |
| 1984 | A puzzle about logical equivalence | Došen, Kosta | Naučni članak | |
| 1983 | Models for normal intuitionistic modal logics | Došen, Kosta ; Božić, Milan | Naučni članak | |
| 1983 | Axiomatizations of intuitionistic double negation | Došen, Kosta ; Božić, Milan | Naučni članak | |
| 1983 | Is it good to make others do something good? | Došen, Kosta | Naučni članak | |
| 1981 | Minimal modal system in which heyting and classical logic can be embedded | Došen, Kosta | Naučni članak | |
| 1981 | A reduction of classical propositional logic to the conjuction-negation fragment of an intuitionistic relevant logic | Došen, Kosta | Naučni članak | |
| 1981 | A reduction of classical propositional logic to the conjunction-negation fragment of an intuitionistic relevant logic | Došen, Kosta | Naučni članak | |
| 1980 | Logical Constants: An Essay in Proof Theory | Došen, Kosta | Doktorska disertacija | 70M70 - Odbranjena doktorska disertacija |
| 1978 | A note on the law of identity and the converse parry property | Došen, Kosta | Naučni članak | |
Došen, Kosta
