Monadic Sigma-1-1 and Modal Logic with Quantified Binary Relations

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    Original languageEnglish
    Title of host publicationPreliminary proceedings of the 6th Workshop on Methods for Modalities
    EditorsThomas Bolander, Braüner Torben
    Place of PublicationRoskilde
    Publication statusPublished - 2009
    Publication typeA4 Article in a conference publication

    Publication series

    NameComputer science research report
    ISSN (Print)0109-9779


    • Boolean modal logic
    • Monadic Sigma-1-1
    • decidability
    • expressive power

    Cite this