Boolean dependence logic and partially-ordered connectives

Johannes Ebbing, Lauri Hella, Peter Lohmann, Virtema Jonni

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

    Original languageEnglish
    Title of host publicationLogic, Language, Information and Computation: 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings
    EditorsRuy de Queiroz
    Place of PublicationBerlin
    PublisherSpringer
    Pages111–125
    ISBN (Print)978-3-642-39992-3
    DOIs
    Publication statusPublished - 2013
    Publication typeA4 Article in conference proceedings

    Publication series

    NameLecture Notes in Computer Science
    Number8071
    ISSN (Print)0302-9743

    Keywords

    • dependence logic
    • existential second-order logic
    • expressivity
    • partially-ordered connectives

    Publication forum classification

    • Publication forum level 1

    Cite this