Functional completeness for a natural deduction formulation of hybridized S5

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

    Original languageEnglish
    Title of host publicationAdvances in Modal Logic. Volume 4
    EditorsP. Balbiani, N.-Y. Suzuki, F. Wolter, M. Zakharyaschev
    PublisherKing's College Publications
    Publication date2003
    Pages31-49
    Publication statusPublished - 2003

    Cite this