Bisimulation Quantified Modal Logics: Decidability

    Research output: Chapter in Book/Conference paperChapter

    3 Citations (Scopus)
    Original languageEnglish
    Title of host publicationAdvances in Modal Logic Volume 6
    EditorsY de Venema
    Place of PublicationLondon, U.K.
    PublisherCollege Publications
    Pages147-166
    Volume6
    ISBN (Print)1904987206
    Publication statusPublished - 2006

    Cite this