Dynamic predicate logic
From MaRDI portal
Publication:5202997
DOI10.1007/BF00628304zbMATH Open0726.03024OpenAlexW2071089353MaRDI QIDQ5202997FDOQ5202997
Authors: 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
Recommendations
dynamic logicanaphorascopediscourse representationdynamic interpretationsemantics for first-order predicate formulas
Cites Work
Cited In (only showing first 100 items - show all)
- Unbound anaphoric pronouns: E-type, dynamic, and structured-propositions approaches
- Structured anaphora to quantifier domains
- Introducing \(\llparenthesis\lambda\rrparenthesis\), a \(\lambda \)-calculus for effectful computation
- Predicate logic with flexibly binding operators and natural language semantics
- Evidence sensitivity in weak necessity deontic modals
- Natural language and logic of agency
- A higher-order theory of presupposition
- Why propositions might be sets of truth-supporting circumstances
- The pragmatic dimension of indefinites
- A system of dynamic modal logic
- Dependency as Question Entailment
- Types as graphs: Continuations in type logical grammar
- Language in action
- Reasoning about update logic
- Title not available (Why is that?)
- Dynamic squares
- Dynamic extensions of arrow logic
- Game theory and discourse anaphora
- Scope control and grammatical dependencies
- Incremental dynamics
- A counterexample to modus tollens
- First order expressivist logic
- Directions in generalized quantifier theory
- On dependent pronouns and dynamic semantics
- A new theory of quantifiers and term connectives
- Gnosis
- Dynamic bracketing and discourse representation
- Title not available (Why is that?)
- Truth and context change
- Context and consequence. an intercontextual substructural logic
- Sequence semantics for dynamic predicate logic
- EXCLUSIVELY INDEXICAL DEDUCTION
- Contexts in dynamic predicate logic
- Logical dynamics of some speech acts that affect obligations and preferences
- Dynamic semantics and circular propositions
- Intuitionistic categorial grammar
- A type reduction from proof-conditional to dynamic semantics
- Choice functions and the anaphoric semantics of definite NPs
- Merging without mystery or: Variables in dynamics semantics
- On the complexity of Kleene algebra with domain
- Intensionality and context change. Towards a dynamic theory of propositions and properties
- Logic and semantics for imperatives
- Transition semantics: the dynamics of dependence logic
- Comments to `Logics of public communications'
- The expressive power of memory logics
- Discourse interpretation based on dynamic constraints
- Toward a dynamic logic of questions
- Logic for languages containing referentially promiscuous expressions
- Formal semantics and applied mathematics: an inferential account
- Presupposition failure - a comedy of errors
- Disjunction in a predictive theory of anaphora
- Epistemic Informativeness
- Dynamic Context Logic
- Free choice impossibility results
- BELIEVING EPISTEMIC CONTRADICTIONS
- Linguistic\(\leftrightarrow \)rational agents' semantics
- A computational treatment of anaphora and its algorithmic implementation
- Seeing the language: a diagrammatic approach to natural discourse
- E-type interpretation without E-type pronoun: how Peirce's graphs capture the uniqueness implication of donkey pronouns in discourse anaphora
- Prior's individuals
- Probabilistic approaches to vagueness and semantic competency
- Bridges Between Contextual Linguistic Models of Vagueness and T-Norm Based Fuzzy Logic
- Executable first-order queries in the logic of information flows
- The grammar of quantification and the fine structure of interpretation contexts
- Dynamic semantics of plurals \(\mathrm{DPL}_{Q}^{\circledast}\)
- Implicit and explicit stances in logic
- Semantics of anaphora as an update operator
- Ghosts, murderers, and the semantics of descriptions
- Dynamic Logics of Imperfect Information: From Teams and Games to Transitions
- How to set up normal optimal answer models
- Fatalism and the logic of unconditionals
- A Dynamic Semantics of Modal Subordination
- The donkey and the monoid. Dynamic semantics with control elements
- Introduction: From Information at Large to Semantics of Logics
- Computational Hermeneutics: An Integrated Approach for the Logical Analysis of Natural-Language Arguments
- A THREE-VALUED QUANTIFIED ARGUMENT CALCULUS: DOMAIN-FREE MODEL-THEORY, COMPLETENESS, AND EMBEDDING OF FOL
- Artificial intelligence and language
- Propositional forms of judgemental interpretations
- Lorenzen won the game, Lorenz did too: dialogical logic for ellipsis and anaphora resolution
- On Groenendijk and Stokhof’s “Dynamic Predicate Logic”
- Compositionality in context
- The Semantics of Corrections
- Variables and Attitudes
- DisCoCat for Donkey Sentences
- Modified numerals and split disjunction: the first-order case
- Inputs, Outputs, and Composition in the Logic of Information Flows
- Preservation theorems for Tarski's relation algebra
- The Mathematics of Text Structure
- Causal dynamic inference
- AN EXPRESSIVIST ANALYSIS OF THE INDICATIVE CONDITIONAL WITH A RESTRICTOR SEMANTICS
- Implementing the binding and accommodation theory for anaphora resolution and presupposition projection
- Implicational Kleene algebra with domain and the substructural logic of partial correctness
- Sequential dynamic logic
- The bridge principle and stigmatized truth-values
- Question Meaning = Resolution Conditions
- Does semantic relationism solve Frege's puzzle?
- Title not available (Why is that?)
- Disjunctive antecedent conditionals
- Semantic Unification
- Neglect-zero effects in dynamic semantics
This page was built for publication: Dynamic predicate logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5202997)
