Existential second-order logic and modal logic with quantified accessibility relations

    Research output: Contribution to journalArticleScientificpeer-review

    Original languageEnglish
    Pages (from-to)217-234
    JournalInformation and Computation
    Volume247
    DOIs
    Publication statusPublished - 2016
    Publication typeA1 Journal article-refereed

    Keywords

    • Existential second-order logic
    • Finite model theory
    • Modal logic

    Publication forum classification

    • Publication forum level 3

    Cite this