Proof-Theoretic Semantics, a Problem with Negation and Prospects for Modality. - Nils Kürbis (J. Philos. Log., 2015)

Some Comments on Ian Rumfitt's Bilateralism. - Nils Kürbis (J. Philos. Log., 2016)

Proof-Theory and Semantics for a Theory of Definite Descriptions. - Nils Kürbis (TABLEAUX, 2021)

A Sketch of a Proof-Theoretic Semantics for Necessity. - Nils Kürbis (CoRR, 2021)

A Binary Quantifier for Definite Descriptions in Intuitionist Negative Free Logic: Natural Deduction and Normalisation. - Nils Kürbis (CoRR, 2021)

Two Treatments of Definite Descriptions in Intuitionist Negative Free Logic. - Nils Kürbis (CoRR, 2021)

Definite Descriptions in Intuitionist Positive Free Logic. - Nils Kürbis (CoRR, 2021)

Normalisation for Bilateral Classical Logic with some Philosophical Remarks, and a Note on it. - Nils Kürbis (CoRR, 2021)

Normalisation and subformula property for a system of intuitionistic logic with general introduction and elimination rules. - Nils Kürbis (CoRR, 2021)

Normalisation for Bilateral Classical Logic with some Philosophical Remarks. - Nils Kürbis (FLAP, 2021)

Addenda: Note on 'Normalisation for Bilateral Classical Logic with some Philosophical Remarks'. - Nils Kürbis (FLAP, 2021)

Normalisation and subformula property for a system of classical logic with Tarski's rule. - Nils Kürbis (Arch. Math. Log., 2022)

Bilateral Inversion Principles. - Nils Kürbis (NCL, 2022)

A Binary Quantifier for Definite Descriptions for Cut Free Free Logics. - Nils Kürbis (Stud Logica, 2022)

A Cut-Free, Sound and Complete Russellian Theory of Definite Descriptions. - Andrzej Indrzejczak; Nils Kürbis (TABLEAUX, 2023)

Comment on Mark Textor: Brentano's Positing Theory of Existence. - Nils Kürbis (CoRR, 2023)

Molecularity in the Theory of Meaning and the Topic Neutrality of Logic. - Bernhard Weiss; Nils Kürbis (Perspectives on Deduction, 2024)

Normalisation for Negative Free Logics without and with Definite Descriptions. - Nils Kürbis (Rev. Symb. Log., 2025)