@incollection(Arnon,
 author       = "Arnon Avron and Ori Lahav",
 year         = "2010",
 title        = "Strict Canonical Constructive Systems",
 editor       = "Andreas Blass and Nachum Dershowitz and Wolfgang Reisig",
 booktitle    = "Fields of Logic and Computation",
 series       = "Lecture Notes in Computer Science",
 volume       = "6300",
 publisher    = "Springer Berlin Heidelberg",
 pages        = "75--94",
 doi          = "10.1007/978-3-642-15025-8\_4",
)
@article(BasinMathewsVigano,
 author       = "D.~Basin and S.~Matthews and L.~Vigano",
 year         = "1997",
 title        = "Labelled Propositional Modal Logics",
 journal      = "Journal of Logic and Computation",
 volume       = "7",
 number       = "6",
 pages        = "685--717",
 doi          = "10.1093/logcom/7.6.685",
)
@article(Pitasi,
 author       = "M.L. Bonet and T~Pitassi and R.~Raz",
 year         = "2000",
 title        = "On Interpolation and Automatization for {F}rege Systems",
 journal      = "SIAM Journal of Computing",
 volume       = "29",
 number       = "6",
 pages        = "1939--1967",
 doi          = "10.1137/S0097539798353230",
)
@book(L3,
 editor       = "L.~Borkowski",
 year         = "1970",
 title        = "Selected Works of Jan \L ukasiewicz",
 series       = "Studies in Logic",
 publisher    = "North-Holland",
 address      = "Amsterdam",
)
@article(IGPLCica,
 author       = "Cecilia Englander and Edward~Hermann Haeusler and Luiz~Carlos Pereira",
 year         = "2014",
 title        = "Finitely many-valued logics and natural deduction",
 journal      = "Logic Journal of the {IGPL}",
 volume       = "22",
 number       = "2",
 pages        = "333--354",
 doi          = "10.1093/jigpal/jzt032",
)
@article(PDL,
 author       = "M.~J. Fischer and R.~E. Ladner",
 year         = "1979",
 title        = "Propositional dynamic logic of regular programs",
 journal      = "Journal of Computer and Systems Science",
 volume       = "18",
 number       = "2",
 pages        = "194--211",
 doi          = "10.1016/0022-0000(79)90046-1",
)
@article(CommonEpistemicLogic,
 author       = "J.Y. Halpern and Y.~Moses",
 year         = "1990",
 title        = "Knowledge and Common Knowledge in a Distributed Environment",
 journal      = "Journal of the ACM",
 volume       = "37",
 number       = "3",
 pages        = "549--587",
 doi          = "10.1145/79147.79161",
)
@incollection(ND-PDL,
 author       = "F.~Honsell and M.~Miculan",
 year         = "1996",
 title        = "A natural deduction approach to dynamic logic",
 editor       = "S.~Berardi and M.~Coppo",
 booktitle    = "Types for Proofs and Programs",
 series       = "Lecture Notes in Computer Science",
 volume       = "1158",
 publisher    = "Springer Berlin Heidelberg",
 pages        = "1--16",
 doi          = "10.1007/3-540-61780-9\_69",
)
@book(Malinowski,
 author       = "Grzegorz Malinowski",
 year         = "1993",
 title        = "Many-Valued Logics",
 publisher    = "Oxford University Press",
)
@incollection(JoaoCaleiro,
 author       = "J.~Marcos and C.~Caleiro",
 year         = "2009",
 title        = "Classic-like analytic tableaux for finite-valued logics",
 editor       = "H.~Ono and R~de~Queiroz and M.~Kanazawa",
 booktitle    = "Proceedings of WOLLIC 2009",
 series       = "Lecture Notes in Artificial Intelligence",
 volume       = "5514",
 publisher    = "Springer Berlin Heidelberg",
 pages        = "268--280",
 doi          = "10.1007/978-3-642-02261-6\_22",
)
@inproceedings(MartiniMasini,
 author       = "S.~Martini and A.~Masini",
 year         = "1994",
 title        = "A Computational Interpretation of Modal Proofs",
 booktitle    = "Proof Theory of Modal Logics",
 publisher    = "Kluwer",
 pages        = "213--241",
 doi          = "10.1007/978-94-017-2798-3\_12",
)
@phdthesis(Pra:ND,
 author       = "D.~Prawitz",
 year         = "1965",
 title        = "{Natural deduction: a proof-theoretical study}",
 school       = "Philosophy department, University of Stockholm",
)
@incollection(Pra:promcl,
 author       = "D.~Prawitz",
 year         = "1979",
 title        = "Proofs and the Meaning and Completeness of the Logical Constants",
 editor       = "J.~Hintikka and I.~Niiniluotu and E.~Saarinen",
 booktitle    = "Proceedings 4th Scandinavian Logic Symp",
 publisher    = "reidel",
 address      = "Dordrecht",
 pages        = "25--40",
 doi          = "10.1007/978-94-009-9825-4\_2",
)
@article(StephenRead,
 author       = "S.~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(Schroeder-Heister,
 author       = "Peter Schroeder-Heister",
 year         = "1984",
 title        = "A Natural Extension of Natural Deduction",
 journal      = "Journal of Symbolic Logic",
 volume       = "49",
 number       = "4",
 pages        = "1284--1300",
 doi          = "10.2307/2274279",
)
@phdthesis(Simpson,
 author       = "Alex~K. Simpson",
 year         = "1994",
 title        = "The Proof Theory and Semantics of Intuitionistic Modal Logic",
 school       = "Computer Science",
)
@article(Statman,
 author       = "R.~Statman",
 year         = "1979",
 title        = "Intuitionistic propositional logic is polynomial-space complete",
 journal      = "Theoretical Computer Science",
 volume       = "9",
 number       = "1",
 pages        = "67 -- 72",
 doi          = "10.1016/0304-3975(79)90006-9",
)