A note on the law of identity and the converse Parry property. - Kosta Dosen (Notre Dame J. Formal Log., 1978)

A reduction of classical propositional logic to the conjunction-negation fragment of an intuitionistic relevant logic. - Kosta Dosen (J. Philos. Log., 1981)

Sequent-Systems for Modal Logic. - Kosta Dosen (J. Symb. Log., 1985)

A Completeness Theorem for the Lambek Calculus of Syntactic Categories. - Kosta Dosen (Math. Log. Q., 1985)

An intuitionistic Sheffer function. - Kosta Dosen (Notre Dame J. Formal Log., 1985)

Models for stronger normal intuitionistic modal logics. - Kosta Dosen (Stud Logica, 1985)

A Note on Gentzen's Decision Procedure for Intuitionistic Propositional Logic. - Kosta Dosen (Math. Log. Q., 1987)

Uniqueness, Definability and Interpolation. - Kosta Dosen; Peter Schroeder-Heister (J. Symb. Log., 1988)

Sequent-systems and groupoid models. I. - Kosta Dosen (Stud Logica, 1988)

Logical Constants as Punctuation Marks. - Kosta Dosen (Notre Dame J. Formal Log., 1989)

Sequent-systems and groupoid models. II. - Kosta Dosen (Stud Logica, 1989)

Duality between modal algebras and neighbourhood frames. - Kosta Dosen (Stud Logica, 1989)

Rudimentary Beth Models and Conditionally Rudimentary Kripke Models for the Heyting Propositional Calculus. - Kosta Dosen (J. Log. Comput., 1991)

Ancestral Kripke Models and Nonhereditary Kripke Models for the Heyting Propositional Calculus. - Kosta Dosen (Notre Dame J. Formal Log., 1991)

Modal logic as metalogic. - Kosta Dosen (J. Log. Lang. Inf., 1992)

Modal translations in substructural logics. - Kosta Dosen (J. Philos. Log., 1992)

The first axiomatization of relevant logic. - Kosta Dosen (J. Philos. Log., 1992)

A Brief Survey of Frames for the Lambek Calculus. - Kosta Dosen (Math. Log. Q., 1992)

Nonmodal Classical Linear Predicate Logic is a Fragment of Intuitionistic Linear Logic. - Kosta Dosen (Theor. Comput. Sci., 1992)

Rudimentary Kripke Models for the Intuitionistic Propositional Calculus. - Kosta Dosen (Ann. Pure Appl. Log., 1993)

Deductive completeness. - Kosta Dosen (Bull. Symb. Log., 1996)

Isomorphic Objects in Symmetric Monoidal Closed Categories. - Kosta Dosen; Zoran Petric (Math. Struct. Comput. Sci., 1997)

Cartesian Isomorphisms Are Symmetric Monoidal: A Justification of Linear Logic. - Kosta Dosen; Zoran Petric (J. Symb. Log., 1999)

On permuting cut with contraction. - Mirjana Borisavljevic; Kosta Dosen; Zoran Petric (Math. Struct. Comput. Sci., 2000)

Coherent Bicartesian and Sesquicartesian Categories. - Kosta Dosen; Zoran Petric (Proof Theory in Computer Science, 2001)

The Typed Bohm Theorem. - Kosta Dosen; Zoran Petric (BOTH, 2001)

The Maximality of Cartesian Categories. - Kosta Dosen; Zoran Petric (Math. Log. Q., 2001)

Bicartesian Coherence. - Kosta Dosen; Zoran Petric (Stud Logica, 2002)

Identity of proofs based on normalization and generality. - Kosta Dosen (Bull. Symb. Log., 2003)

Generality of proofs and its Brauerian representation. - Kosta Dosen; Zoran Petric (J. Symb. Log., 2003)

A Brauerian representation of split preorders. - Kosta Dosen; Zoran Petric (Math. Log. Q., 2003)

Negation and Involutive Adjunctions. - Kosta Dosen; Zoran Petric (We Will Show Them! (1), 2005)

Coherence for star-autonomous categories. - Kosta Dosen; Zoran Petric (Ann. Pure Appl. Log., 2006)

A New Proof of the Faithfulness of Brauer's Representation of Temperley-lieb Algebras. - Kosta Dosen; Zana Kovijanic Vukicevic; Zoran Petric (Int. J. Algebra Comput., 2006)

Associativity as commutativity. - Kosta Dosen; Zoran Petric (J. Symb. Log., 2006)

Models of Deduction. - Kosta Dosen (Synth., 2006)

Medial commutativity. - Kosta Dosen; Zoran Petric (Ann. Pure Appl. Log., 2007)

Equality of proofs for linear equality. - Kosta Dosen; Zoran Petric (Arch. Math. Log., 2008)

Coherence in linear predicate logic. - Kosta Dosen; Zoran Petric (Ann. Pure Appl. Log., 2009)

Coherence for monoidal endofunctors. - Kosta Dosen; Zoran Petric (Math. Struct. Comput. Sci., 2010)

Coherence for monoidal monads and comonads. - Kosta Dosen; Zoran Petric (Math. Struct. Comput. Sci., 2010)

Intermutation. - Kosta Dosen; Zoran Petric (Appl. Categorical Struct., 2012)

Isomorphic formulae in classical propositional logic. - Kosta Dosen; Zoran Petric (Math. Log. Q., 2012)

Shuffles and concatenations in the construction of graphs. - Kosta Dosen; Zoran Petric (Math. Struct. Comput. Sci., 2012)

Syntax for split preorders. - Kosta Dosen; Zoran Petric (Ann. Pure Appl. Log., 2013)

Graphs of plural cuts. - Kosta Dosen; Zoran Petric (Theor. Comput. Sci., 2013)

On Sets of Premises. - Kosta Dosen (CoRR, 2014)

Weak Cat-Operads. - Kosta Dosen; Zoran Petric (Log. Methods Comput. Sci., 2015)

A Planarity Criterion for Graphs. - Kosta Dosen; Zoran Petric (SIAM J. Discret. Math., 2015)

On the Paths of Categories. - Kosta Dosen (Advances in Proof-Theoretic Semantics, 2016)

Comments on an Opinion. - Kosta Dosen (Advances in Proof-Theoretic Semantics, 2016)

Gödel's Notre Dame Course. - Milos Adzic; Kosta Dosen (Bull. Symb. Log., 2016)

Representing Conjunctive Deductions by Disjunctive Deductions. - Kosta Dosen; Zoran Petric (Rev. Symb. Log., 2017)

Gödel's Natural Deduction. - Kosta Dosen; Milos Adzic (Stud Logica, 2018)

Gödel on Deduction. - Kosta Dosen; Milos Adzic (Stud Logica, 2019)