| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
| 1991 | Mints, Grigorii "A strengthened normal form theorem for the predicate calculus" - Eesti NSV Tead. Akad. Toimetised Füüs.-Mat. 39 (1990), no.4, 313-324, 405. | Došen, Kosta   | Информативни прилог | |
| 1990 | Seymour, Michel "Référence et identité" - Logique et Anal. (N.S.) 30 (1987), no.120, 353-363. | Došen, Kosta | Информативни прилог | |
| 1990 | Boričić, Branislav R. "On certain normalizable natural deduction formulations of some propositional intermediate logics" - Notre Dame J. Formal Logic 29 (1988), no.4, 563-568. | Došen, Kosta | Информативни прилог | |
| 1990 | Lewis, David "Relevant implication" - Theoria 54 (1988), no.3, 162-174. | Došen, Kosta | Информативни прилог | |
| 1990 | Addenda and corrigenda to "Sequent-system and groupoid models" | Došen, Kosta | Научни чланак | |
| 1990 | Zbrzeźny, Andrzej "The Gentzen type axiomatization of some three-valued propositional logic" - Polish Acad. Sci. Inst. Philos. Sociol. Bull. Sect. Logic 17 (1988), no.2, 70-74. | Došen, Kosta | Информативни прилог | |
| 1990 | Friedman, Harvey; Sheard, Michael "The equivalence of the disjunction and existence properties for modal arithmetic" - J. Symbolic Logic 54 (1989), no.4, 1456-1459. | Došen, Kosta | Информативни прилог | |
| 1990 | Normal modal logics in which the Heyting propositional calculus can be embedded | Došen, Kosta | Конференцијски рад | |
| 1990 | Ceniza, Claro R. "Material implication and entailment" - Notre Dame J. formal logic 29 (1988), no.4, 510-519. | Došen, Kosta | Информативни прилог | |
| 1990 | Modal translations of Heyting and Peano arithmetic | Došen, Kosta | Научни чланак | |
| 1989 | Sequent-systems and groupoid models. II | Došen, Kosta | Научни чланак | |
| 1989 | Daniels, Charles B. "Nonlogical consequences" - Logique et Anal. (N.S.) 30 (1987), no.119, 283-290. | Došen, Kosta | Информативни прилог | |
| 1989 | Orlowska, Ewa "Entailment based on semantic relevance criteria" - Mat. Logika Primenen. no. 5 (1987), 54-67. | Došen, Kosta | Информативни прилог | |
| 1989 | Ivlev, Yu. V. "Intensional construction of systems of modal logic" - The logic of scientific knowledge, 159-172, "Nauka", Moscow, 1987. | Došen, Kosta | Информативни прилог | |
| 1989 | Méndez, José M. Axiomatizing E* and R* with Anderson and Belnap's "strong and natural list of valid entailments" - Polish Acad. Sci. Ins. Philos. Sociol. Bull. Sect Logic 16 (1987), no. 1, 2-10. | Došen, Kosta | Информативни прилог | |
| 1989 | Bazhanov, V.A. "On the sources of modern nonclassical logic" - Patterns in the development of modern mathematics, 201-208, "Nauka", Moscow, 1987. | Došen, Kosta | Информативни прилог | |
| 1989 | Polloc, John L. "The foundations of philosophical semantics" - Princeton University Press, Princeton. NJ, 1984. x+242pp. ISBN 0-691-07283-3 | Došen, Kosta | Информативни прилог | |
| 1989 | Logical constants as punctuation marks | Došen, Kosta | Научни чланак | |
| 1989 | Duality between modal algebras and neighbourhood frames | Došen, Kosta | Научни чланак | |
| 1989 | Sequent-system and groupoid models. II | Došen, Kosta | Научни чланак | |
Došen, Kosta
