Interpreting modal natural deduction in type theory

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

    Original languageEnglish
    Title of host publicationDiamonds and defaults : studies in pure and applied intensional logic
    EditorsM. Rijke, de
    Place of PublicationDordrecht
    PublisherKluwer Academic Publishers
    ISBN (Print)1-7923-2342-4
    Publication statusPublished - 1993

    Publication series

    NameSynthese Library
    ISSN (Print)0166-6991

    Cite this