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