| Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
| 1987 | Problem section - Problem 27 | Došen, Kosta   | Naučni članak | |
| 1987 | Ono, Hiroakira; Komori, Yuichi "Logics without the contraction rule" - J. Symbolic Logic 50 (1985), no.1, 169-201. | Došen, Kosta | Informativni prilog | |
| 1987 | Antipenko, L.G."The problem of incompleteness of a theory and its epistemological significance" - "Nauka", Moscow, 1986., 224pp. 1.20r." | Došen, Kosta | Informativni prilog | |
| 1987 | Materna, Pavel "'Linguistic constructions' in the transparent intensional logic" - Prague Bull. Math. Linguist. no. 43 (1985), 5-24. | Došen, Kosta | Informativni prilog | |
| 1987 | A Note on Gentzen's Decision Procedure for Intuitionistic Propositional Logic | Došen, Kosta | Naučni članak | |
| 1986 | Hilbertovi problemi i logika | Mijajlović, Žarko; Marković, Zoran; Došen, Kosta | Monografija | |
| 1986 | Higher-level sequent-system for intuitionistic modal logic | Došen, Kosta | Naučni članak | |
| 1986 | Modal duality theory | Došen, Kosta | Konferencijski rad | |
| 1986 | Muravitskii, A.Yu. "A result on the completeness of superintuitionistic logics" - Mat. Zametki 36 (1984), no.5, 765-776, 779. | Došen, Kosta | Informativni prilog | |
| 1986 | Alves, Elias H. "Paraconsistent logic and model theory" - Studia Logica 43 (1984), no.1-2, 17-32. | Došen, Kosta | Informativni prilog | |
| 1986 | Šikić, Z. "Multiple forms of Gentzen's rules and some intermediate logics" - Z. Math. Logik Grundlag. Math. 30 (1984), no.4, 335-338. | Došen, Kosta | Informativni prilog | |
| 1986 | Negation as a modal operator | Došen, Kosta | Naučni članak | |
| 1986 | Modal translations and intuitionistic double negation | Došen, Kosta | Naučni članak | |
| 1986 | Drugush, Ya.M. "Finite approximability of forest superintuitionistic logics" - Mat. Zametki 36 (1984), no.5, 755-764, 799 | Došen, Kosta | Informativni prilog | |
| 1986 | Yashin, A.D. "Nishimura's formulas as one-place logical connectives in the elementary theory of Kripke models" - Vestnik Moskov. Univ. Ser. I Mat. Mekh. 1984, no.5, 12-15. | Došen, Kosta | Informativni prilog | |
| 1986 | Wojtylak, Piotr "Collapse of a class of infinite disjunctions in intuitionistic propositional logic" - Rep. Math. Logic no.16 (1983), 37-49. | Došen, Kosta | Informativni prilog | |
| 1985 | Malyaukene, Liviya "Equivalence of some arithmetical system" - Mat. Logika Primenen. no.2 (1982), 9-30. | Došen, Kosta | Informativni prilog | |
| 1985 | An intuitionistic sheffer function | Došen, Kosta | Naučni članak | |
| 1985 | Conservativeness and uniqueness | Došen, Kosta ; Schroeder-Heister, Peter | Naučni članak | |
| 1985 | A Completeness Theorem for the Lambek Calculus of Syntactic Categories | Došen, Kosta | Naučni članak | |
Došen, Kosta
