From IF to BI: a tale of dependence and separation

Samson Abramsky, Jouko Väänänen

    Research output: Contribution to journalArticleScientificpeer-review

    Original languageEnglish
    JournalSynthese
    Volume167
    Pages (from-to)207-230
    Number of pages24
    ISSN0039-7857
    DOIs
    Publication statusPublished - 2009
    MoE publication typeA1 Journal article-refereed

    Fields of Science

    • Independence-friendly logic
    • Dependence logic
    • Branching quantifiers
    • Logic of bunched implications
    • Functional dependence
    • Full abstraction
    • Tarski semantics
    • Team semantics
    • Quantifiers as adjoints
    • LINEAR LOGIC
    • SEMANTICS
    • 111 Mathematics

    Cite this