| Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
| 1996 | Restall, Greg "Modalities in substructural logics" - Logique et Anl. (N.S.) 36 (1993), no.141-142, 25-38. | Došen, Kosta   | Informativni prilog | |
| 1996 | Substructural predicates | Došen, Kosta | Poglavlje u monografiji | |
| 1996 | Equality in substructural logics | Došen, Kosta | Poglavlje u monografiji | |
| 1996 | Deductive completeness | Došen, Kosta | Naučni članak | |
| 1996 | Modal functional completeness | Došen, Kosta ; Petrić, Zoran | Poglavlje u monografiji | |
| 1995 | Jovan Došenović - pisac Čislenice | Došen, Kosta | Konferencijski rad | |
| 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 | Informativni prilog | |
| 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 | Informativni prilog | |
| 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 | Informativni prilog | |
| 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 | Informativni prilog | |
| 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 | Informativni prilog | |
| 1994 | Logical constants as punctuation marks | Došen, Kosta | Poglavlje u monografiji | |
| 1994 | Dyckhoff, Roy "Contraction-free sequent calculi for intuitionistic logic" - J. Symbolic Logic 57 (1992), no.3, 795-807. | Došen, Kosta | Informativni prilog | |
| 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 | Informativni prilog | |
| 1994 | A historical introduction to substructural logics | Došen, Kosta | Poglavlje u monografiji | |
| 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 | Informativni prilog | |
| 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 | Denyer, Nicholas "Ease and difficulty: a modal logic with deontic applications" - Theoria 56 (1990), no.1-2, 42-61. | Došen, Kosta | Informativni prilog | |
| 1993 | Rudimentary Kripke models for the intuitionistic propositional calculus | Došen, Kosta | Naučni članak | 22M22 - Međunarodni časopis kategorije M22 |
Došen, Kosta
