| Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
| 1989 | Sequent-systems and groupoid models. II | Došen, Kosta   | Naučni članak | |
| 1988 | Furs, S.N., "Syllogistics of some theories" - Z. Math. Logik Grundlag. Math. 33 (1987), no.1, 31-42. | Došen, Kosta | Informativni prilog | |
| 1988 | Bellin, Gianluigi "A system of natural deduction for Gl" - Theoria 51 (1985), no.2, 89-114. | Došen, Kosta | Informativni prilog | |
| 1988 | Weston, S. Thomas, "Approximate truth" - J. Philos. Logic 16 (1987), no.2, 203-227. | Došen, Kosta | Informativni prilog | |
| 1988 | Sequent-system and groupoid models. I | Došen, Kosta | Naučni članak | |
| 1988 | Popovich, M.V.; Krymskii, S.B.; Ishmuratov, A.T.; Kintsan, V.T.; Vasil'ev, S.A.; Parakhonskii, B.A.; Prilyuk, Yu.D.; Vyatkina, N.B.; Shtern, I.B.; Domb, G.I.; Omel'yanchik, V.I.; Burgin, M.S.; Kuznetsov, V.I. "Proof and understanding" - "Naukova Dumka", Kiev, 1986. 312 pp. 3.00.r. | Došen, Kosta | Informativni prilog | |
| 1988 | Second-order logic without variables | Došen, Kosta | Poglavlje u monografiji | |
| 1988 | Uniqueness, definability and interpolation | Došen, Kosta | Naučni članak | 22M22 - Međunarodni časopis kategorije M22 |
| 1988 | Sequent-systems and groupoid models. I | Došen, Kosta | Naučni članak | |
| 1988 | Zalta, Edward N. "On the structural similarities between worlds and times" - Philos. Stud. 51 (1987), no.2, 213-239._ | Došen, Kosta | Informativni prilog | |
| 1987 | Orlowska, Eva "Logic of nondeterministic information" | Došen, Kosta | Informativni prilog | |
| 1987 | Fitting, Melvin "Notes on the mathematical aspects of Kripke's theory of truth" | Došen, Kosta | Informativni prilog | |
| 1987 | Rauszer, Cecylia "Formalizations of certain intermediate logics I" - Methods in math. logic (Caracas, 1983), 360-384. lecture notes in Math., 1130,Springer, Berlin, 1985. | Došen, Kosta | Informativni prilog | |
| 1987 | Negation and impossibility | Došen, Kosta | Konferencijski rad | |
| 1987 | Fine, Kit "Logics containing K4. Part II" - J. Symbolic Logic 50 (1985), no.3, 619-651. | Došen, Kosta | Informativni prilog | |
| 1987 | Artëmov, S. N. "Nonarithmeticity of truth predicate logics of provability" - Dokl. Akad. Nauk SSSR 284 (1985), no.2, 270-271. | Došen, Kosta | Informativni prilog | |
| 1987 | Vuillemin, Jules "Two examples of the application of axiomatization to philosophy: the analysis of movement by Zeno and the analysis of freedom by Diodorus Cronus" - Fund. Sci. 6 (1985), no.3, 209-219. | 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 | Ballard, David "Independence in higher-order subclassical logic" - Notre Dame J. Formal Logic 26 (1985), no.4, 444-454. | Došen, Kosta | Informativni prilog | |
Došen, Kosta
