We stand with Ukraine  

Nils Kürbis

Orcid: 0000-0002-3651-5458

Affiliations:
  • University College London, UK


According to our database1, Nils Kürbis authored at least 16 papers between 2015 and 2023.

Collaborative distances:
  • Dijkstra number2 of six.
  • Erdős number3 of six.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Comment on Mark Textor: Brentano's Positing Theory of Existence.
[BibTeX]
[DOI]
Nils Kürbis
CoRR, 2023

A Cut-Free, Sound and Complete Russellian Theory of Definite Descriptions.
[BibTeX]
[DOI]
Andrzej Indrzejczak
,
Nils Kürbis
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2023

2022
A Binary Quantifier for Definite Descriptions for Cut Free Free Logics.
[BibTeX]
[DOI]
Nils Kürbis
Stud Logica, 2022

Bilateral Inversion Principles.
[BibTeX]
[DOI]
Nils Kürbis
Proceedings of the 10th International Conference on Non-Classical Logics. Theory and Applications, 2022

Normalisation and subformula property for a system of classical logic with Tarski's rule.
[BibTeX]
[DOI]
Nils Kürbis
Arch. Math. Log., 2022

2021
Addenda: Note on 'Normalisation for Bilateral Classical Logic with some Philosophical Remarks'.
[BibTeX]
[DOI]
Nils Kürbis
FLAP, 2021

Normalisation for Bilateral Classical Logic with some Philosophical Remarks.
[BibTeX]
[DOI]
Nils Kürbis
FLAP, 2021

Normalisation and subformula property for a system of intuitionistic logic with general introduction and elimination rules.
[BibTeX]
[DOI]
Nils Kürbis
CoRR, 2021

Normalisation for Bilateral Classical Logic with some Philosophical Remarks, and a Note on it.
[BibTeX]
[DOI]
Nils Kürbis
CoRR, 2021

Definite Descriptions in Intuitionist Positive Free Logic.
[BibTeX]
[DOI]
Nils Kürbis
CoRR, 2021

Two Treatments of Definite Descriptions in Intuitionist Negative Free Logic.
[BibTeX]
[DOI]
Nils Kürbis
CoRR, 2021

A Binary Quantifier for Definite Descriptions in Intuitionist Negative Free Logic: Natural Deduction and Normalisation.
[BibTeX]
[DOI]
Nils Kürbis
CoRR, 2021

A Sketch of a Proof-Theoretic Semantics for Necessity.
[BibTeX]
[DOI]
Nils Kürbis
CoRR, 2021

Proof-Theory and Semantics for a Theory of Definite Descriptions.
[BibTeX]
[DOI]
Nils Kürbis
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2021

2016
Some Comments on Ian Rumfitt's Bilateralism.
[BibTeX]
[DOI]
Nils Kürbis
J. Philos. Log., 2016

2015
Proof-Theoretic Semantics, a Problem with Negation and Prospects for Modality.
[BibTeX]
[DOI]
Nils Kürbis
J. Philos. Log., 2015


  Loading...