Skip to main navigation Skip to search Skip to main content

Natural deduction for hybrid logic (extended abstract)

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

    Original languageEnglish
    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
    Country/TerritoryNetherlands
    CityAmsterdam
    Period29/11/200130/11/2001

    Citation Styles