H. B. Smith on modality: A logical reconstruction. - Tore Langholm (J. Philos. Log., 1987)

What is a Horn Clause in Partial Logic? - Tore Langholm (JELIA, 1990)

A Strong Version of Herbrand's Theorem for Introvert Sentences. - Tore Langholm (J. Symb. Log., 1998)

A Descriptive Characterisation of Indexed Grammars. - Tore Langholm (Grammars, 2001)

A Descriptive Characterisation of Even Linear Languages. - Tore Langholm; Marc Bezem (Grammars, 2003)

Only Knowing with Confidence Levels: Reductions and Complexity. - Espen H. Lian; Tore Langholm; Arild Waaler (JELIA, 2004)

Black Box and White Box Identification of Formal Languages Using Test Sets. - Marc Bezem; Christian Sloper; Tore Langholm (Grammars, 2004)

Default Reasoning with Preference Within Only Knowing Logic. - Iselin Engan; Tore Langholm; Espen H. Lian; Arild Waaler (LPNMR, 2005)

A descriptive characterisation of linear languages. - Tore Langholm (J. Log. Lang. Inf., 2006)

Completeness and Decidability in Sequence Logic. - Marc Bezem; Tore Langholm; Michal Walicki (LPAR, 2007)

Only knowing with degrees of confidence. - Arild Waaler; Johan W. Klüwer; Tore Langholm; Espen H. Lian (J. Appl. Log., 2007)

Default Logics with Preference Order: Principles and Characterisations. - Tore Langholm (LPAR, 2008)