Predicate logic with flexibly binding operators and natural language semantics

DOI10.1007/BF01050634zbMath0794.03043OpenAlexW1987871907MaRDI QIDQ1314273

Peter Pagin, Dag Westerståhl

Publication date: 22 February 1994

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01050634

zbMATH Keywords

compositionalityanaphoradynamic semanticsnatural deductiondynamic predicate logicvariable-binding

Mathematics Subject Classification ID

Logic of natural languages (03B65)

Related Items (2)

E-type interpretation without E-type pronoun: how Peirce's graphs capture the uniqueness implication of donkey pronouns in discourse anaphora ⋮ Fusing Quantifiers and Connectives: Is Intuitionistic Logic Different?

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse.
• Dynamic predicate logic
• A system of implicit quantification

This page was built for publication: Predicate logic with flexibly binding operators and natural language semantics