Natural deduction for hybrid logic (extended abstract)

    Research output: Chapter in Book/Report/Conference proceedingConference abstract in proceedingsResearch

    Original languageDanish
    Title of host publicationWorkshop Proceedings of Methods for Modalities 2
    EditorsC. Areces, M. de Rijke
    PublisherUniversity of Amsterdam
    Publication date2001
    Publication statusPublished - 2001
    EventMethods for Modalities - Amsterdam, Netherlands
    Duration: 29 Nov 200130 Nov 2001
    Conference number: 2

    Conference

    ConferenceMethods for Modalities
    Number2
    CountryNetherlands
    CityAmsterdam
    Period29/11/200130/11/2001

    Cite this

    Braüner, T. (2001). Natural deduction for hybrid logic (extended abstract). In C. Areces, & M. D. Rijke (Eds.), Workshop Proceedings of Methods for Modalities 2 University of Amsterdam.