Dynamic interpretation and hoare deduction

Dynamic predicate logic

Jeroen Groenendijk, Martin Stokhof · Linguistics and Philosophy · 1991 · 1.4K citations · Full text

Engineering, Automated Reasoning, Dynamic Logic +6

E-Type pronouns and donkey anaphora

Irene Heim · Linguistics and Philosophy · 1990 · 789 citations

Formal Semantics, Syntax, Donkey Anaphora +3

Modal subordination and pronominal anaphora in discourse

Craige Roberts · Linguistics and Philosophy · 1989 · 567 citations

Syntax, Modal Subordination, Discourse Structure +5

Ten Years of Hoare's Logic: A Survey—Part I

Krzysztof R. Apt · ACM Transactions on Programming Languages and Systems · 1981 · 509 citations · Full text

Reference and Generality: An Examination of Some Medieval and Modern Theories.

William Kneale, P. T. Geach · The Philosophical Quarterly · 1965 · 219 citations

Literary History, Modern Theories, Historical Methodology +14