The Complexity of Reasoning with Boolean Modal Logic

C Lutz, U Sattler

    Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

    Original languageEnglish
    Title of host publicationAdvances in Modal Logic 2000 (AiML 2000)
    Publication statusPublished - 2000

    Cite this