Advertisement

Introduction

  • Samson AbramskyEmail author
  • Juha Kontinen
  • Jouko Väänänen
  • Heribert Vollmer
Chapter

Abstract

Dependence logic was introduced by Jouko Väänänen in 2007. It extends first-order logic by new atomic dependence formulas (dependence atoms)

Copyright information

© Springer International Publishing Switzerland 2016

Authors and Affiliations

  • Samson Abramsky
    • 1
    Email author
  • Juha Kontinen
    • 2
  • Jouko Väänänen
    • 3
    • 4
  • Heribert Vollmer
    • 5
  1. 1.Department of Computer ScienceUniversity of Oxford Wolfson BuildingOxfordUK
  2. 2.Department of Mathematics and StatisticsUniversity of HelsinkiHelsinkiFinland
  3. 3.Department of Mathematics and StatisticsUniversity of HelsinkiHelsinkiFinland
  4. 4.Institute for Logic, Language and ComputationUniversity of AmsterdamAmsterdamThe Netherlands
  5. 5.Institut für Theoretische InformatikLeibniz Universität HannoverHannoverGermany

Personalised recommendations