A higher-order theory of presupposition

DOI10.1007/S11225-012-9427-6MaRDI QIDQ692197zbMATH OpenOpenAlexFDO

Authors Scott Martin, Carl Pollard

Publication date 4 December 2012

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11225-012-9427-6

zbMATH Keywords

contexthigher-order logicanaphorapresuppositiondiscourse

Mathematics Subject Classification ID

Logic of natural languages (03B65)

Recommendations

• Hyperintensional dynamic semantics. Analyzing definiteness with enriched contexts
• Pragmatics, and that's an order
• Representing anaphora with dependent types
• Intensionality and context change. Towards a dynamic theory of propositions and properties
• Dynamic predicate logic

Cites work

• scientific article; zbMATH DE number 3959364 (Why is no real title available?)
• A calculus for first order discourse representation structures
• A formulation of the simple theory of types
• Completeness in the theory of types
• Hyperintensional dynamic semantics. Analyzing definiteness with enriched contexts
• Hyperintensions

Cited in

(10)

• The semantics of dynamic conjunction
• Representing anaphora with dependent types
• scientific article; zbMATH DE number 1418380 (Why is no real title available?)
• scientific article; zbMATH DE number 1749205 (Why is no real title available?)
• Pragmatics, and that's an order
• scientific article; zbMATH DE number 1028814 (Why is no real title available?)
• Presuppositions as anaphoric duality enablers
• Presuppositional completeness
• Disjunction in a predictive theory of anaphora
• Hyperintensional dynamic semantics. Analyzing definiteness with enriched contexts

This page was built for publication: A higher-order theory of presupposition

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q692197)