| Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
| 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 | |
| 1987 | Fine, Kit "Logics containing K4. Part II" - J. Symbolic Logic 50 (1985), no.3, 619-651. | Došen, Kosta | Informativni prilog | |
| 1987 | Seldin, Jonathan P. "On the proof theory of the intermediate logic MH" - J. Symbolic Logic 51 (1986), no.3, 626-647. | Došen, Kosta | Informativni prilog | |
| 1987 | Yablo, Stephen "Truth and reflection" - J. Philos. Logic 14 (1985), no.3, 297-349. | Došen, Kosta | Informativni prilog | |
| 1987 | Ono, Hiroakira; Komori, Yuichi "Logics without the contraction rule" - J. Symbolic Logic 50 (1985), no.1, 169-201. | 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 | Drugush, Ya.M. "Finite approximability of forest superintuitionistic logics" - Mat. Zametki 36 (1984), no.5, 755-764, 799 | 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 | Modal translations and intuitionistic double negation | Došen, Kosta | Naučni članak | |
| 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 | Hilbertovi problemi i logika | Mijajlović, Žarko; Marković, Zoran; Došen, Kosta | Monografija | |
| 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 | |
| 1985 | An intuitionistic sheffer function | Došen, Kosta | Naučni članak | |
| 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 | |
Došen, Kosta
