A higher-order theory of presupposition

DOI10.1007/S11225-012-9427-6zbMATH Open1252.03070OpenAlexW2024071533MaRDI QIDQ692197FDOQ692197

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

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

zbMATH Keywords

contexthigher-order logicanaphorapresuppositiondiscourse

Mathematics Subject Classification ID

Logic of natural languages (03B65)

Cites Work

• Title not available (Why is that?)
• A formulation of the simple theory of types
• Completeness in the theory of types
• Hyperintensions
• A calculus for first order discourse representation structures
• Hyperintensional dynamic semantics. Analyzing definiteness with enriched contexts

Cited In (9)

• Pragmatics, and that's an order
• The semantics of dynamic conjunction
• Hyperintensional dynamic semantics. Analyzing definiteness with enriched contexts
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Presuppositional completeness
• Representing anaphora with dependent types
• Presuppositions as anaphoric duality enablers

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)