Natural deduction for first-order hybrid logic

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearch

    Original languageEnglish
    Title of host publicationWorkshop Proceedings of Fourth Workshop on Hybrid Logics
    EditorsC. Areces, P. Blackburn, M. Marx, U. Sattler
    Publication date2002
    Pages37-51
    Publication statusPublished - 2002
    EventNatural deduction for first-order hybrid logic - København, Denmark
    Duration: 25 Jul 200225 Jul 2002
    Conference number: 4

    Conference

    ConferenceNatural deduction for first-order hybrid logic
    Number4
    CountryDenmark
    CityKøbenhavn
    Period25/07/200225/07/2002

    Cite this