Towards constructive hybrid logic (extended abstract)

Torben Braüner, Valeria de Paiva

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

    Original languageEnglish
    Title of host publicationWorkshop Proceedings of Methods for Modalities 3
    EditorsC. Areces, P. Blackburn
    PublisherINRIA
    Publication date2003
    Publication statusPublished - 2003
    EventTowards constructive hybrid logic (extended abstract) - Nancy, France
    Duration: 22 Sep 200323 Sep 2003
    Conference number: 3

    Workshop

    WorkshopTowards constructive hybrid logic (extended abstract)
    Number3
    Country/TerritoryFrance
    CityNancy
    Period22/09/200323/09/2003

    Cite this