A type reduction from proof-conditional to dynamic semantics

DOI10.1023/A:1017541301458zbMath0986.03006OpenAlexW2022026344MaRDI QIDQ5935790

Tim Fernando

Publication date: 6 June 2002

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1017541301458

zbMATH Keywords

typestruthanaphorabisimulationdiscourse semanticsdynamic semanticsnatural languageproof-conditional semantics

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Logic of natural languages (03B65)

Related Items (1)

Variable handling and compositionality: comparing DRT and DTS

Cites Work

• A calculus for first order discourse representation structures
• Concurrent dynamic logic
• Bisimulations and predicate logic
• Dynamic predicate logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A type reduction from proof-conditional to dynamic semantics