Sequence semantics for dynamic predicate logic

DOI10.1007/BF01050788zbMath0802.03024MaRDI QIDQ1314278

C. F. M. Vermeulen

Publication date: 12 December 1994

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

zbMATH Keywords

dynamic logicsemanticsdynamic predicate logicinformation growthdiscourse analysisdiscourse representationsequence valued assignments

Mathematics Subject Classification ID

Logic of natural languages (03B65) Logic in computer science (03B70)

Related Items (9)

Merging without mystery or: Variables in dynamics semantics ⋮ Lorenzen won the game, Lorenz did too: dialogical logic for ellipsis and anaphora resolution ⋮ On dependent pronouns and dynamic semantics ⋮ Variable handling and compositionality: comparing DRT and DTS ⋮ AN EXPRESSIVIST ANALYSIS OF THE INDICATIVE CONDITIONAL WITH A RESTRICTOR SEMANTICS ⋮ Semantically restricted argument dependencies ⋮ EXCLUSIVELY INDEXICAL DEDUCTION ⋮ Scope control and grammatical dependencies ⋮ Dynamic bracketing and discourse representation

Cites Work

• GENERAL DYNAMICS
• Dynamic predicate logic
• Unnamed Item
• Unnamed Item

This page was built for publication: Sequence semantics for dynamic predicate logic