@book(AB75,
 author       = {Alan R. Anderson and Nuel D. Belnap},
 year         = {1975},
 title        = {{\it Entailment. The Logic of Relevance and Necessity. Vol. 1}},
 publisher    = {Princeton University Press},
)
@book(CZ97,
 author       = {Alexander V. Chagrov and Michael Zakharyaschev},
 year         = {1997},
 title        = {Modal Logic},
 series       = {Oxford logic guides},
 volume       = {35},
 publisher    = {Oxford University Press},
)
@article(Cress72,
 author       = {Max Cresswell},
 year         = {1972},
 title        = {{The completeness of $S1$ and some related systems.}},
 journal      = {Notre Dame Journal of Formal Logic},
 volume       = {13},
 number       = {4},
 pages        = {485 -- 496},
 doi          = {10.1305/ndjfl/1093890710},
)
@book(HC96,
 author       = {Max Cresswell and George H. Hughes},
 year         = {1996},
 title        = {A New Introduction to Modal Logic},
 publisher    = {Routledge},
 doi          = {10.4324/9780203028100},
)
@incollection(Garson,
 author       = {James Garson},
 year         = {2021},
 title        = {{Modal Logic}},
 editor       = {Edward N. Zalta},
 booktitle    = {The {Stanford} Encyclopedia of Philosophy},
 edition      = {{S}ummer 2021},
 publisher    = {Metaphysics Research Lab, Stanford University},
 url          = {<https://plato.stanford.edu/archives/sum2021/entries/logic-modal/>},
)
@article(GO,
 author       = {Guido Gherardi and Eugenio Orlandelli},
 year         = {2021},
 title        = {Super-strict implications},
 journal      = {Bulletin of the Section of Logic},
 volume       = {50},
 number       = {1},
 pages        = {1--34},
 doi          = {10.18778/0138-0680.2021.02},
)
@incollection(kripke,
 author       = {Saul A. Kripke},
 year         = {1965},
 title        = {Semantical analysis of modal logic {II}. {N}on-normal modal propositional calculi},
 editor       = {John W. Addison and Leon Enkin and Alfred Tarski},
 booktitle    = {The Theory of Models},
 series       = {Studies in Logic and the Foundations of Mathematics},
 publisher    = {North-Holland},
 pages        = {206--220},
 doi          = {10.1016/B978-0-7204-2233-7.50026-5},
)
@article(lemmon,
 author       = {Edward J. Lemmon},
 year         = {1957},
 title        = {New foundations for Lewis modal systems},
 journal      = {Journal of Symbolic Logic},
 volume       = {22},
 number       = {2},
 pages        = {176\IeC{\textendash}186},
 doi          = {10.2307/2964179},
)
@book(Lewis1918,
 author       = {Clarence I. Lewis},
 year         = {1918},
 title        = {{\it Survey of Symbolic Logic}},
 publisher    = {University of California Press},
)
@book(LL,
 author       = {Clarence I. Lewis and Cooper H. Langford},
 year         = {1932},
 title        = {Symbolic Logic},
 publisher    = {Century Co New York},
)
@article(MP19,
 author       = {Edwin Mares and Francesco Paoli},
 year         = {2019},
 title        = {C.I. Lewis, E.J. Nelson, and the Modern Origins of Connexive Logic},
 journal      = {Organon F},
 volume       = {26},
 pages        = {405--426},
 doi          = {10.31577/orgf.2019.26304},
)
@article(Negri05,
 author       = {Sara Negri},
 year         = {2005},
 title        = {Proof analysis in modal logic},
 journal      = {Journal of Philosophical Logic},
 volume       = {34},
 pages        = {507--544},
 doi          = {10.1007/s10992-005-2267-3},
)
@article(N30,
 author       = {Everett J. Nelson},
 year         = {1930},
 title        = {Intensional relations},
 journal      = {{\it Mind}},
 volume       = {39},
 pages        = {440--453},
 doi          = {10.1093/mind/XXXIX.156.440},
)
@incollection(Wansing,
 author       = {Sergei Odintsov and Daniel Skurt and Heinrich Wansing},
 year         = {2021},
 title        = {{Connexive variants of modal logics over FDE}},
 editor       = {Ofer Arieli and Anna Zamansky},
 booktitle    = {Arnon Avron on Semantics and Proof Theory of Non-Classical Logics},
 series       = {Outstanding Contributions to Logic},
 publisher    = {Springer, Cham},
 pages        = {295--318},
 doi          = {10.1007/978-3-030-71258-7_13},
)
@article(decid,
 author       = {Masao Ohnishi},
 year         = {1961},
 title        = {{Gentzen decision procedures for Lewis's systems S2 and S3}},
 journal      = {Osaka Mathematical Journal},
 volume       = {13},
 number       = {1},
 pages        = {125--137},
 doi          = {10.18910/4163},
)
@article(PW97,
 author       = {Claudio Pizzi and Timothy Williamson},
 year         = {1997},
 title        = {Strong {B}oethius\IeC{\textquoteright} Thesis and Consequential Implication},
 journal      = {{\it Journal of Philosophical Logic}},
 volume       = {26},
 pages        = {569--588},
 doi          = {10.1023/A:1004230028063},
)
@book(Quine51,
 author       = {Willard V. O. Quine},
 year         = {1951},
 title        = {Mathematical Logic (revised edition)},
 publisher    = {Cambridge: Harvard University Press},
 doi          = {10.4159/9780674042469},
)
@inproceedings(R20,
 author       = {Eric Raidl},
 year         = {2020},
 title        = {Strengthened Conditionals},
 editor       = {Beishui Liao and Y{\`i} N. W{\'a}ng},
 booktitle    = {Context, Conflict and Reasoning},
 publisher    = {Springer Singapore},
 pages        = {139--155},
 doi          = {10.1007/978-981-15-7134-3_11},
)
@book(Rasiowa1974,
 author       = {Helena Rasiowa},
 year         = {1974},
 title        = {{\it An Algebraic Approach to Non-classical Logics}},
 publisher    = {Elsevier},
)
@book(Routley82,
 author       = {Richard Routley and Val Plumwood and Robert K. Meyer and Ross T. Brady},
 year         = {1982},
 title        = {Relevant Logics and Their Rivals},
 publisher    = {Ridgeview},
)
@article(Tesi21,
 author       = {Matteo Tesi},
 year         = {2021},
 title        = {Labelled sequent calculi for {L}ewis' non-normal propositional modal logics},
 journal      = {Studia Logica},
 volume       = {109(4)},
 pages        = {725--757},
 doi          = {10.1007/s11225-020-09924-z},
)
@article(TW,
 author       = {Elias Thijsse and Heinrich Wansing},
 year         = {1996},
 title        = {A fugue on the themes of awareness logic and correspondence},
 journal      = {Journal of Applied Non-Classical Logics},
 volume       = {6},
 number       = {2},
 pages        = {127--136},
 doi          = {10.1080/11663081.1996.10510874},
)
@book(PM,
 author       = {Alfred N. Whitehead and Bertrand A. W. Russell},
 year         = {1927},
 title        = {{Principia Mathematica; 2nd ed.}},
 publisher    = {Cambridge Univ. Press},
 address      = {Cambridge},
 url          = {https://cds.cern.ch/record/268025},
)