Refinement Quantified Logics of Knowledge

J. Hales, Tim French, Rowan Davies

    Research output: Chapter in Book/Conference paperConference paperpeer-review

    5 Citations (Scopus)
    Original languageEnglish
    Title of host publicationProceedings of the 7th Workshop on Methods for Modalities (M4M’2011)
    Place of PublicationSpain
    PublisherElsevier
    Pages85-98
    Volume278
    ISBN (Print)1571661
    Publication statusPublished - 2011
    Event7th Workshop on Methods for Modalities - The University of Osuna, Osuna, Spain
    Duration: 10 Nov 201112 Nov 2011

    Workshop

    Workshop7th Workshop on Methods for Modalities
    Country/TerritorySpain
    CityOsuna
    Period10/11/1112/11/11

    Cite this