| Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
| 1987 | Artëmov, S. N. "Nonarithmeticity of truth predicate logics of provability" - Dokl. Akad. Nauk SSSR 284 (1985), no.2, 270-271. | Došen, Kosta   | Informativni prilog | |
| 1987 | Vuillemin, Jules "Two examples of the application of axiomatization to philosophy: the analysis of movement by Zeno and the analysis of freedom by Diodorus Cronus" - Fund. Sci. 6 (1985), no.3, 209-219. | Došen, Kosta | Informativni prilog | |
| 1987 | Fine, Kit "Logics containing K4. Part II" - J. Symbolic Logic 50 (1985), no.3, 619-651. | Došen, Kosta | Informativni prilog | |
| 1987 | Problem section - Problem 27 | Došen, Kosta | Naučni članak | |
| 1987 | Ballard, David "Independence in higher-order subclassical logic" - Notre Dame J. Formal Logic 26 (1985), no.4, 444-454. | Došen, Kosta | Informativni prilog | |
| 1986 | Modal translations and intuitionistic double negation | Došen, Kosta | Naučni članak | |
| 1986 | Negation as a modal operator | 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 | |
| 1986 | Hilbertovi problemi i logika | Mijajlović, Žarko; Marković, Zoran; Došen, Kosta | Monografija | |
| 1986 | Modal duality theory | Došen, Kosta | Konferencijski rad | |
| 1986 | Higher-level sequent-system for intuitionistic modal logic | Došen, Kosta | Naučni članak | |
| 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 | |
| 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 | 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 | 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 | |
Došen, Kosta
