| Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
| 1993 | Modal translations in K and D | Došen, Kosta   | Poglavlje u monografiji | |
| 1993 | Mares, Edwin D. "Semantics for relevance logic with identity" - Studia Logica 51 (1992), no.1, 1-20. | Došen, Kosta | Informativni prilog | |
| 1993 | Giambrone, Steve "Real reduced models for relevant logics without WI." - Notre Dame J. Formal Logic 33 (1992), no.3, 442-449. | Došen, Kosta | Informativni prilog | |
| 1992 | Rybakov, V. V. "Problems of substitution and admissibility in the modal system Grz and in intuitionitic propositional calculus" - Ann. pure appl. logic 50 (1990), no.1, 71-106. | Došen, Kosta | Informativni prilog | |
| 1992 | Modal translations in substructural logics | Došen, Kosta | Naučni članak | |
| 1992 | Modal logic as metalogic | Došen, Kosta | Naučni članak | |
| 1992 | Brady, Ross T. "Gentzenization and decidability of some contractionless relevant logics" - J. Philos. Logic 20 (1991), no.1, 97-117. | Došen, Kosta | Informativni prilog | |
| 1992 | The first axiomatization of relevant logic | Došen, Kosta | Naučni članak | |
| 1992 | Nonmodal classical linear predicate logic is a fragment of intuitionistic linear logic | Došen, Kosta | Naučni članak | 22M22 - Međunarodni časopis kategorije M22 |
| 1992 | La connexion syntactique | Došen, Kosta | Poglavlje u monografiji | |
| 1992 | Mints, Grigorii "Normalization theorems for the intuitionistic system with choice principles" - Mathematical logic, 56-66, Plenum, New York, 1990. | Došen, Kosta | Informativni prilog | |
| 1992 | One more reference on self-reference | Došen, Kosta | Naučni članak | 22M22 - Međunarodni časopis kategorije M22 |
| 1992 | A BRIEF SURVEY OF FRAMES FOR THE LAMBEK CALCULUS | Došen, Kosta | Naučni članak | |
| 1991 | Sánchez-Mazas, Miguel "Essai de représentation per des nombres réels d'une analyse infinie des notions individuelles dans une infinité de mondes possibles" - Argumentation 3 (1989), no.1, 75-96. | Došen, Kostać | Informativni prilog | |
| 1991 | Nogina, E. Yu. "Classes of arithmetic companions of modal provability logics" - Vestnik Moskov. Univ. Ser. I Mat. Mekh. 1990, no.1, 31-33; translation in Moscow Univ. Math. Bull. 45 (1990), no.1, 31-33. | Došen, Kosta | Informativni prilog | |
| 1991 | Rudimentary Beth models conditionally rudimentary Kripke models for the Heyting propositional calculus | Došen, Kosta | Naučni članak | |
| 1991 | Bezhanishvili, M. N. "Doxastic propositional system with one modal operator" - Intensional logics and the logical structure of theories, 174-181, "Metsniereba", Tbilisi, 1988" | Došen, Kosta | Informativni prilog | |
| 1991 | Abrusci, V.Michele "Sequent calculus for intuitionistic linear propositional logic" - Mathematical logic, 223-242, Plenum, New York, 1990. | Došen, Kosta | Informativni prilog | |
| 1991 | Ancestral Kripke models and nonhereditary Kripke models for the Heyting propositional calculus | Došen, Kosta | Naučni članak | |
| 1991 | Beklemishev, L. D. "Classification of propositional provability logics" - Izv. Akad. Nauk SSSR Ser.Mat. 53 (1989), no.5, 915-943, 1134 | Došen, Kosta | Informativni prilog | |
Došen, Kosta
