The Expressive Power of k-ary Exclusion Logic

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

    Original languageEnglish
    Title of host publicationLogic, Language, Information and Computation : 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings
    EditorsRuy de Queiroz
    PublisherSpringer
    Pages375-391
    ISBN (Print)978-3-662-52920-1
    DOIs
    Publication statusPublished - 2016
    Publication typeA4 Article in a conference publication
    EventWorkshop on Logic, Language, Information and Computation (WoLLIC) -
    Duration: 1 Jan 2016 → …

    Publication series

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

    Conference

    ConferenceWorkshop on Logic, Language, Information and Computation (WoLLIC)
    Period1/01/16 → …

    Keywords

    • Exclusion logic
    • dependence logic
    • existential second order logic
    • expressive power
    • team semantics

    Publication forum classification

    • Publication forum level 1

    Cite this