@article(biermannpaiva,
 author       = {Gavin Biermann and Valeria de Paiva},
 year         = {2000},
 title        = {On an Intuitionistic Modal Logic},
 journal      = {Studia Logica},
 volume       = {65},
 pages        = {383--416},
 doi          = {10.1023/A:1005291931660},
)
@article(dosensequentmodal,
 author       = {Do{\v s}en, Kosta},
 year         = {1985},
 title        = {Sequent-Systems for Modal Logic},
 journal      = {The Journal of Symbolic Logic},
 volume       = {50},
 number       = {1},
 pages        = {149--168},
 doi          = {10.2307/2273797},
)
@article(dosenintmodal,
 author       = {Do{\v s}en, Kosta},
 year         = {1986},
 title        = {Higher-Level Sequent Systems for Intuitionistic Modal Logic},
 journal      = {Publications der L'Institut Math\'ematique},
 volume       = {38},
 number       = {53},
 pages        = {3--12},
 url          = {http://eudml.org/doc/258513},
)
@book(dummettLBM,
 author       = {Michael Dummett},
 year         = {1993},
 title        = {The Logical Basis of Metaphysics},
 publisher    = {Cambridge, Mass.: Harvard University Press},
)
@article(francezbilateralharmony,
 author       = {Nissim Francez},
 year         = {2014},
 title        = {Bilateralism in Proof-Theoretic Semantics},
 journal      = {Journal of Philosophical Logic},
 volume       = {43},
 pages        = {239--259},
 doi          = {10.1007/s10992-012-9261-3},
)
@article(francezgabbayresponse,
 author       = {Nissim Francez},
 year         = {2018},
 title        = {Bilateralism does provide a proof theoretic treatment of classical logic (for non-technical reasons)},
 journal      = {Journal of Applied Logics},
 volume       = {5},
 number       = {8},
 pages        = {1653--1662},
)
@article(gabbaybilateralism,
 author       = {Michael Gabbay},
 year         = {2017},
 title        = {Bilateralism does not provide a proof theoretic treatment of classical logic (for technical reasons)},
 journal      = {Journal of Applied Logic},
 volume       = {25},
 pages        = {108--122},
 doi          = {10.1016/j.jal.2017.11.001},
)
@article(gentzenuntersuchungen,
 author       = {Gerhard Gentzen},
 year         = {1934},
 title        = {{Untersuchungen \"uber das logische Schlie\ss en}},
 journal      = {Mathematische Zeitschrift},
 volume       = {39},
 pages        = {176--210, 405--431},
 doi          = {10.1007/BF01201353},
)
@article(humberstonerejection,
 author       = {Lloyd Humberstone},
 year         = {2000},
 title        = {The Revival of Rejective Negation},
 journal      = {Journal of Philosophical Logic},
 volume       = {29},
 pages        = {331--381},
 doi          = {10.1023/A:1004747920321},
)
@booklet(nilsharmony,
 author       = {Nils K\"urbis},
 year         = {2007},
 title        = {Harmony, Normality and Stability},
 howpublished = {\url{https://nilskurbis.weebly.com/uploads/4/8/9/6/48969837/kurbisstability.pdf}},
)
@incollection(kurbisstableharmony,
 author       = {Nils K\"urbis},
 year         = {2009},
 title        = {Stable Harmony},
 editor       = {{Peli\v s}, Michal},
 booktitle    = {The Logica Yearbook 2008},
 publisher    = {London: College Publications},
 pages        = {87--96},
)
@article(kurbisnegation,
 author       = {Nils K\"urbis},
 year         = {2015},
 title        = {What is wrong with classical negation?},
 journal      = {Grazer Philosophische Studien},
 volume       = {92},
 number       = {1},
 pages        = {51--85},
 doi          = {10.1163/9789004310841_004},
)
@article(kurbisrumfitt,
 author       = {Nils K\"urbis},
 year         = {2016},
 title        = {Some Comments on {Ian Rumfitt}'s Bilateralism},
 journal      = {Journal of Philosophical Logic},
 volume       = {45},
 number       = {6},
 pages        = {623--644},
 doi          = {10.1007/s10992-016-9395-9},
)
@article(kurbisbilateraldetours,
 author       = {Nils K\"urbis},
 year         = {2017},
 title        = {Bilateralist Detours: From Intuitionist to Classical Logic and Back},
 journal      = {Logique et Analyse},
 volume       = {60},
 number       = {239},
 pages        = {301--316},
 doi          = {10.2143/LEA.239.0.3237156},
)
@book(kurbisproofandfalsity,
 author       = {Nils K\"urbis},
 year         = {2019},
 title        = {Proof and Falsity. A Logical Investigation},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/9781108686792},
)
@inproceedings(kurbissketch,
 author       = {Nils K\"urbis},
 year         = {2020},
 title        = {Sketch of a Proof-Theoretic Semantics for Necessity},
 editor       = {Sara Negri and Nicola Olivetti and Rineke Verbrugge},
 booktitle    = {Advances in Modal Logic 13. Booklet of Short Papers},
 pages        = {37--43},
)
@article(kurbisgenrulescl,
 author       = {Nils K\"urbis},
 year         = {2021},
 title        = {Normalisation and Subformula Property for a System of Classical Logic with {Tarski}'s Rule},
 journal      = {Archive for Mathematical Logic},
 volume       = {online first},
 doi          = {10.1007/s00153-021-00775-6},
)
@article(kurbisgenrulesintuitionist,
 author       = {Nils K\"urbis},
 year         = {2021},
 title        = {Normalisation and Subformula Property for a System of Intuitionistic Logic with General Introduction and Elimination Rules},
 journal      = {Synthese},
 volume       = {199},
 number       = {5-6},
 pages        = {14223--1428},
 doi          = {10.1007/s11229-021-03418-8},
)
@article(kurbisnormalbilateral,
 author       = {Nils K\"urbis},
 year         = {2021},
 title        = {Normalisation for Bilateral Classical Logic with some Philosophical Remarks},
 journal      = {Journal of Applied Logics},
 volume       = {8},
 number       = {2},
 pages        = {531--556},
)
@article(kurbisnormalbilateralnote,
 author       = {Nils K\"urbis},
 year         = {2021},
 title        = {Note on `Normalisation for Bilateral Classical Logic with some Philosophical Remarks'},
 journal      = {Journal of Applied Logics},
 volume       = {8},
 number       = {7},
 pages        = {2259--2261},
)
@article(milnesubformula,
 author       = {Peter Milne},
 year         = {2010},
 title        = {Subformula and Separation Properties in Natural Deduction via Small {Kripke} Models},
 journal      = {Review of Symbolic Logic},
 volume       = {3},
 number       = {2},
 pages        = {175--227},
 doi          = {10.1017/S175502030999030X},
)
@incollection(milneinversion,
 author       = {Peter Milne},
 year         = {2015},
 title        = {Inversion principles and introduction rules},
 editor       = {Heinrich Wansing},
 booktitle    = {Dag Prawitz on Proofs and Meaning},
 publisher    = {Cham, Heidelberg, New York, Dordrecht, London: Springer},
 pages        = {175--227},
 doi          = {10.1007/978-3-319-11041-7_8},
)
@book(negriplatostructural,
 author       = {Sara Negri and Jan von Plato},
 year         = {2001},
 title        = {Structural Proof-Theory},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/CBO9780511527340},
)
@article(pfenningdaviesmodal,
 author       = {Frank Pfenning and Rowan Davies},
 year         = {2001},
 title        = {A Judgemental Reconstruction of Modal Logic},
 journal      = {Mathematical Structures in Computer Science},
 volume       = {11},
 number       = {4},
 pages        = {511--540},
 doi          = {10.1017/S0960129501003322},
)
@article(vonPlatoGenElim,
 author       = {Jan von Plato},
 year         = {2001},
 title        = {Natural Deduction with General Elimination Rules},
 journal      = {Archive for Mathematical Logic},
 volume       = {40},
 number       = {4},
 pages        = {541--567},
 doi          = {10.1007/s001530100091},
)
@book(prawitznaturaldeduction,
 author       = {Dag Prawitz},
 year         = {1965},
 title        = {Natural Deduction},
 publisher    = {Stockholm, G\"oteborg, Uppsala: Almqvist and Wiksell},
)
@incollection(prawitzmeaningandcompleteness,
 author       = {Dag Prawitz},
 year         = {1979},
 title        = {Proofs and the Meaning and Completeness of the Logical Constants},
 editor       = {{{Hintikka, Jakko} \emph{et al.}}},
 booktitle    = {Essays on Mathematical and Philosophical Logic},
 publisher    = {Dordrecht: Reidel},
 pages        = {25--40},
 doi          = {10.1007/978-94-009-9825-4\_2},
)
@article(pricesense,
 author       = {Huw Price},
 year         = {1983},
 title        = {Sense, Assertion, {Dummett} and Denial},
 journal      = {Mind},
 volume       = {92},
 pages        = {161--173},
 doi          = {10.1093/mind/XCII.366.161},
)
@article(pricewhynot,
 author       = {Huw Price},
 year         = {1990},
 title        = {{Why `Not'?}},
 journal      = {Mind},
 volume       = {99},
 pages        = {221--238},
 doi          = {10.1093/mind/XCIX.394.221},
)
@misc(pricenotagain,
 author       = {Huw Price},
 year         = {2016},
 title        = {{`Not' Again}},
 howpublished = {\url{http://prce.hu/w/preprints/NotAgain.pdf}},
)
@article(priorrunabout,
 author       = {Arthur Prior},
 year         = {1961},
 title        = {The Runabout Inference Ticket},
 journal      = {Analysis},
 volume       = {21},
 pages        = {38--39},
 doi          = {10.1093/analys/21.2.38},
)
@article(readGEharmony,
 author       = {Stephen Read},
 year         = {2010},
 title        = {General-Elimination Harmony and the Meaning of the Logical Constants},
 journal      = {Journal of Philosophical Logic},
 volume       = {39},
 number       = {5},
 pages        = {557--576},
 doi          = {10.1007/S10992-010-9133-7},
)
@article(rumfittyesno,
 author       = {Ian Rumfitt},
 year         = {2000},
 title        = {{``Yes'' and ``No''}},
 journal      = {Mind},
 volume       = {109},
 number       = {436},
 pages        = {781--823},
 doi          = {10.1093/mind/109.436.781},
)
@article(wansingmoregeneral,
 author       = {Heinrich Wansing},
 year         = {2017},
 title        = {A more general general proof theory},
 journal      = {Journal of Applied Logic},
 volume       = {25},
 pages        = {23--46},
 doi          = {10.1016/j.jal.2017.01.002},
)
@article(weisskurbismolecularity,
 author       = {Bernhard Weiss and Nils K\"urbis},
 year         = {2022},
 title        = {Molecularity in the Theory of Meaning and the Topic Neutrality of Logic},
 journal      = {Accepted for publication in Synthese Special Issue `Perspectives on Deduction', ed. by Antonio Piccolomini d'Aragona},
)