An Analysis of Quantifier Scope Restrictions in Dependence Logic

Authors

  • Ralf Naumann University of Düsseldorf Author
  • Wiebke Petersen University of Düsseldorf Author

Abstract

In our contribution we will present a strictly semantic approach to scope phenomena which is based on (Dynamic) Dependence Logic (DL) [Vaa07, Gal13] and ideas from Dynamic Semantics [Fer93]. Formulas as well as quantifiers are interpreted as relations between sets of assignments. Scopal ambiguities are analyzed as a form of non-determinism: processing a formula in an input context X can lead to different output contexts Y . These outputs are constraint by imposing dependence relations on Y .1

Downloads

Download data is not yet available.

Downloads

Published

2013-12-01

Issue

2013: Proceedings of the 19th Amsterdam Colloquium

Section

Conference Proceedings

License

Creative Commons License

This work is licensed under a Creative Commons Attribution 4.0 International License.

How to Cite

Naumann, R., & Petersen, W. (2013). An Analysis of Quantifier Scope Restrictions in Dependence Logic. Proceedings of the Amsterdam Colloquium, 163-170. https://platform.openjournals.nl/PAC/article/view/22451