| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
| 1996 | Equality in substructural logics | Došen, Kosta   | Поглавље у монографији | |
| 1996 | Deductive completeness | Došen, Kosta | Научни чланак | |
| 1996 | Substructural predicates | Došen, Kosta | Поглавље у монографији | |
| 1996 | Pogorzelski, Witold A. "A minimal implicational logic" - Philosophical logic in Poland, 213-216, Synthese Lib., 228, Kluwer Acad. Publ., Dordrecht, 1994. | Došen, Kosta | Информативни прилог | |
| 1996 | Restall, Greg "Modalities in substructural logics" - Logique et Anl. (N.S.) 36 (1993), no.141-142, 25-38. | Došen, Kosta | Информативни прилог | |
| 1995 | Jovan Došenović - pisac Čislenice | Došen, Kosta | Конференцијски рад | |
| 1995 | Krivtsov, V. N."On the semantic completeness of logics of the creative subject" - Uspekhi Mat. Nauk 49 (1994), no.6 (300), 205-206.;translation in Russian Math.Surveys 49 (1994), no.6, 205-206. | Došen, Kosta | Информативни прилог | |
| 1995 | Rybakov, Vladimir V. "Intermediate logics preserving admissible inference rules of Heyting calculus" - Math. Logic Quart. 39 (1993), no.3, 403-415. | Došen, Kosta | Информативни прилог | |
| 1995 | Takano, Mitio "A sequent calculus for the Leśniewskian modal logic" - Ann. Japan Assoc. Philos. Sci. 8 (1994), no.4, 191-201. | Došen, Kosta | Информативни прилог | |
| 1995 | Yashin, A. D. "Smetanich's logic ... and two definitions of a new intuitionistic connetive" - Mat. Zametki 56 (1994), no.1, 135-142,158.; translation in Math. Notes 56 (1994), no.1-2, 745-750 (1995). | Došen, Kosta | Информативни прилог | |
| 1994 | Logical constants as punctuation marks | Došen, Kosta | Поглавље у монографији | |
| 1994 | Kremer, Philip "Quantifying over propositions in relevance logic: nonaxiomatisability of primary interpretations of Ąp and Ęp" - J. Symbolic Logic 58 (1993), no.1, 334-349. | Došen, Kosta | Информативни прилог | |
| 1994 | Dyckhoff, Roy "Contraction-free sequent calculi for intuitionistic logic" - J. Symbolic Logic 57 (1992), no.3, 795-807. | Došen, Kosta | Информативни прилог | |
| 1994 | Valentini, Silvio "The sequent calculus for the modal logic D." - Boll. Un. Mat. Ital. A(7) 7 (1993), no.3, 455-460. | Došen, Kosta | Информативни прилог | |
| 1994 | Schmerl, Ulf R. "A cut-elimination procedure designed for evaluating proofs as programs" - Computer science logic (Berne, 1991), 316-325, Lecture Notes in Comput. Sci., 626, Springer, Berlin, 1992. | Došen, Kosta | Информативни прилог | |
| 1994 | A historical introduction to substructural logics | Došen, Kosta | Поглавље у монографији | |
| 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 | Информативни прилог | |
| 1993 | J.P. Cleave, "A Study of Logics" - Oxford University Press, Oxford, 1991 | Došen, Kosta | Информативни прилог | |
| 1993 | Rudimentary Kripke models for the intuitionistic propositional calculus | Došen, Kosta | Научни чланак | 22M22 - Међународни часопис категорије M22 |
| 1993 | Denyer, Nicholas "Ease and difficulty: a modal logic with deontic applications" - Theoria 56 (1990), no.1-2, 42-61. | Došen, Kosta | Информативни прилог | |
Došen, Kosta
