Second-order propositional modal logic and monadic alternation hierarchies

    Research output: Contribution to journalArticleScientificpeer-review

    4 Citations (Scopus)
    Original languageEnglish
    Pages (from-to)1-28
    JournalANNALS OF PURE AND APPLIED LOGIC
    Volume166
    Issue number1
    DOIs
    Publication statusPublished - 2015
    Publication typeA1 Journal article-refereed

    Keywords

    • Modal logic
    • alternation hierarchies
    • monadic second-order logic
    • propositional quantifiers
    • second-order logic

    Publication forum classification

    • Publication forum level 2

    Cite this