Dynamic predicate logic
From MaRDI portal
Publication:5202997
DOI10.1007/BF00628304zbMath0726.03024OpenAlexW2071089353MaRDI QIDQ5202997
Jeroen Groenendijk, Martin J. B. Stokhof
Publication date: 1991
Published in: Linguistics and Philosophy (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf00628304
anaphoradynamic logicscopediscourse representationdynamic interpretationsemantics for first-order predicate formulas
Related Items (85)
Dynamic semantics and circular propositions ⋮ Intensionality and context change. Towards a dynamic theory of propositions and properties ⋮ Introducing \(\llparenthesis\lambda\rrparenthesis\), a \(\lambda \)-calculus for effectful computation ⋮ Reasoning about update logic ⋮ Presupposition failure - a comedy of errors ⋮ Why propositions might be sets of truth-supporting circumstances ⋮ Merging without mystery or: Variables in dynamics semantics ⋮ Lorenzen won the game, Lorenz did too: dialogical logic for ellipsis and anaphora resolution ⋮ Dynamic squares ⋮ Unbound anaphoric pronouns: E-type, dynamic, and structured-propositions approaches ⋮ Directions in generalized quantifier theory ⋮ Question Meaning = Resolution Conditions ⋮ On dependent pronouns and dynamic semantics ⋮ Seeing the language: a diagrammatic approach to natural discourse ⋮ Does semantic relationism solve Frege's puzzle? ⋮ A counterexample to modus tollens ⋮ Bridges Between Contextual Linguistic Models of Vagueness and T-Norm Based Fuzzy Logic ⋮ Implementing the Binding and Accommodation Theory for Anaphora Resolution and Presupposition Projection ⋮ Propositional forms of judgemental interpretations ⋮ Causal dynamic inference ⋮ Linguistic\(\leftrightarrow \)rational agents' semantics ⋮ Modified numerals and split disjunction: the first-order case ⋮ Inputs, Outputs, and Composition in the Logic of Information Flows ⋮ Neglect-zero effects in dynamic semantics ⋮ Disjunction in a predictive theory of anaphora ⋮ Variable handling and compositionality: comparing DRT and DTS ⋮ A THREE-VALUED QUANTIFIED ARGUMENT CALCULUS: DOMAIN-FREE MODEL-THEORY, COMPLETENESS, AND EMBEDDING OF FOL ⋮ AN EXPRESSIVIST ANALYSIS OF THE INDICATIVE CONDITIONAL WITH A RESTRICTOR SEMANTICS ⋮ On the complexity of Kleene algebra with domain ⋮ On Groenendijk and Stokhof’s “Dynamic Predicate Logic” ⋮ DisCoCat for Donkey Sentences ⋮ Variables and Attitudes ⋮ Disjunctive antecedent conditionals ⋮ The grammar of quantification and the fine structure of interpretation contexts ⋮ Language in action ⋮ Logic and semantics for imperatives ⋮ Evidence sensitivity in weak necessity deontic modals ⋮ Transition semantics: the dynamics of dependence logic ⋮ First order expressivist logic ⋮ Dynamic Logics of Imperfect Information: From Teams and Games to Transitions ⋮ Comments to `Logics of public communications' ⋮ BELIEVING EPISTEMIC CONTRADICTIONS ⋮ Logic for languages containing referentially promiscuous expressions ⋮ Introduction: From Information at Large to Semantics of Logics ⋮ Computational Hermeneutics: An Integrated Approach for the Logical Analysis of Natural-Language Arguments ⋮ Free choice impossibility results ⋮ E-type interpretation without E-type pronoun: how Peirce's graphs capture the uniqueness implication of donkey pronouns in discourse anaphora ⋮ Prior's individuals ⋮ Dynamic Semantics of Plurals DPL ⋮ Semantic Unification ⋮ Toward a dynamic logic of questions ⋮ Implicit and explicit stances in logic ⋮ Sequential dynamic logic ⋮ Natural language and logic of agency ⋮ Structured anaphora to quantifier domains ⋮ EXCLUSIVELY INDEXICAL DEDUCTION ⋮ Gnosis ⋮ A type reduction from proof-conditional to dynamic semantics ⋮ Context and consequence. an intercontextual substructural logic ⋮ Choice functions and the anaphoric semantics of definite NPs ⋮ The pragmatic dimension of indefinites ⋮ Intuitionistic categorial grammar ⋮ A computational treatment of anaphora and its algorithmic implementation ⋮ A Dynamic Semantics of Modal Subordination ⋮ A new theory of quantifiers and term connectives ⋮ Probabilistic approaches to vagueness and semantic competency ⋮ Types as graphs: Continuations in type logical grammar ⋮ Scope control and grammatical dependencies ⋮ Game theory and discourse anaphora ⋮ Fusing Quantifiers and Connectives: Is Intuitionistic Logic Different? ⋮ Dependency as Question Entailment ⋮ Epistemic Informativeness ⋮ Truth and context change ⋮ How to Set Up Normal Optimal Answer Models ⋮ MODALITY AND EXPRESSIBILITY ⋮ A system of dynamic modal logic ⋮ The Semantics of Corrections ⋮ Dynamic bracketing and discourse representation ⋮ Logical dynamics of some speech acts that affect obligations and preferences ⋮ THE EXPRESSIVE POWER OF MEMORY LOGICS ⋮ Formal semantics and applied mathematics: an inferential account ⋮ The Mathematics of Text Structure ⋮ Predicate logic with flexibly binding operators and natural language semantics ⋮ Sequence semantics for dynamic predicate logic ⋮ Ghosts, Murderers, and the Semantics of Descriptions
Cites Work
This page was built for publication: Dynamic predicate logic