Axiomatizing first-order consequences in dependence logic

Dependency Structures of Data Base Relationships.

William W. Armstrong · IFIP Congress · 1974 · 739 citations

Computing, Computer Science, Information Systems +14

Compositional semantics for a language of imperfect information

Wilfrid Hodges · Logic Journal of IGPL · 1997 · 334 citations

Humanities, Computer Science, Mathematics +16

Dependence and Independence

Erich Grädel, Jouko Väänánen · Studia Logica · 2013 · 224 citations · Full text

Social Sciences, Gender Studies, Sociology +13

The principles of mathematics revisited

Choice Reviews Online · 1997 · 104 citations

Natural Sciences, Mathematics, Mathematics Education +7

An introduction to recursively saturated and resplendent models

Jon Barwise, John S. Schlipf · Journal of Symbolic Logic · 1976 · 100 citations

Natural Sciences, Computer Science, Mathematics +9