Dynamic predicate logic
From MaRDI portal
Publication:5202997
Recommendations
Cited in
(only showing first 100 items - show all)- Game theory and discourse anaphora
- Scope control and grammatical dependencies
- Language in action
- Unbound anaphoric pronouns: E-type, dynamic, and structured-propositions approaches
- Predicate logic with flexibly binding operators and natural language semantics
- Comments to `Logics of public communications'
- Free choice impossibility results
- On the complexity of Kleene algebra with domain
- Believing epistemic contradictions
- Logic for languages containing referentially promiscuous expressions
- A system of dynamic modal logic
- Reasoning about update logic
- Introducing \(\llparenthesis\lambda\rrparenthesis\), a \(\lambda \)-calculus for effectful computation
- Intensionality and context change. Towards a dynamic theory of propositions and properties
- Dynamic semantics and circular propositions
- Discourse interpretation based on dynamic constraints
- Sequence semantics for dynamic predicate logic
- Directions in generalized quantifier theory
- Toward a dynamic logic of questions
- Intuitionistic categorial grammar
- Formal semantics and applied mathematics: an inferential account
- Logical dynamics of some speech acts that affect obligations and preferences
- On dependent pronouns and dynamic semantics
- A type reduction from proof-conditional to dynamic semantics
- Dependency as question entailment
- Dynamic bracketing and discourse representation
- A new theory of quantifiers and term connectives
- Probabilistic approaches to vagueness and semantic competency
- Epistemic Informativeness
- The expressive power of memory logics
- Truth and context change
- Seeing the language: a diagrammatic approach to natural discourse
- Gnosis
- scientific article; zbMATH DE number 1749205 (Why is no real title available?)
- scientific article; zbMATH DE number 1523022 (Why is no real title available?)
- Evidence sensitivity in weak necessity deontic modals
- Natural language and logic of agency
- Dynamic squares
- Choice functions and the anaphoric semantics of definite NPs
- Incremental dynamics
- Presupposition failure - a comedy of errors
- Exclusively indexical deduction
- Dynamic Context Logic
- A higher-order theory of presupposition
- Why propositions might be sets of truth-supporting circumstances
- E-type interpretation without E-type pronoun: how Peirce's graphs capture the uniqueness implication of donkey pronouns in discourse anaphora
- Contexts in dynamic predicate logic
- Prior's individuals
- The pragmatic dimension of indefinites
- Context and consequence. an intercontextual substructural logic
- Types as graphs: Continuations in type logical grammar
- Logic and semantics for imperatives
- Disjunction in a predictive theory of anaphora
- Structured anaphora to quantifier domains
- A counterexample to modus tollens
- Linguistic\(\leftrightarrow \)rational agents' semantics
- Merging without mystery or: Variables in dynamics semantics
- A computational treatment of anaphora and its algorithmic implementation
- Dynamic extensions of arrow logic
- First order expressivist logic
- scientific article; zbMATH DE number 1794700 (Why is no real title available?)
- AN EXPRESSIVIST ANALYSIS OF THE INDICATIVE CONDITIONAL WITH A RESTRICTOR SEMANTICS
- Computational Hermeneutics: An Integrated Approach for the Logical Analysis of Natural-Language Arguments
- A Dynamic Semantics of Modal Subordination
- Implicit and explicit stances in logic
- On Groenendijk and Stokhof’s “Dynamic Predicate Logic”
- Dynamic logics of imperfect information: from teams and games to transitions
- The bridge principle and stigmatized truth-values
- Compositionality in context
- Variable handling and compositionality: comparing DRT and DTS
- A three-valued quantified argument calculus: domain-free model-theory, completeness, and embedding of FOL
- Neglect-zero effects in dynamic semantics
- Kleene algebra of weighted programs with domain
- Context and the composition of meaning
- Segmented discourse representation theory: dynamic semantics with discourse structure
- Artificial intelligence and language
- The donkey and the monoid. Dynamic semantics with control elements
- Implicational Kleene algebra with domain and the substructural logic of partial correctness
- MODALITY AND EXPRESSIBILITY
- Sequential dynamic logic
- The Semantics of Corrections
- Propositional forms of judgemental interpretations
- Ghosts, murderers, and the semantics of descriptions
- How to set up normal optimal answer models
- Question meaning = resolution conditions
- Executable first-order queries in the logic of information flows
- Introduction: from information at large to semantics of logics
- The Mathematics of Text Structure
- DisCoCat for Donkey Sentences
- Semantic unification. A sheaf theoretic approach to natural language
- Bridges between contextual linguistic models of vagueness and \(t\)-norm based fuzzy logic
- Semantics of anaphora as an update operator
- Modified numerals and split disjunction: the first-order case
- Inputs, Outputs, and Composition in the Logic of Information Flows
- Causal dynamic inference
- Fatalism and the logic of unconditionals
- The grammar of quantification and the fine structure of interpretation contexts
- Preservation theorems for Tarski's relation algebra
- Variables and attitudes
- Lorenzen won the game, Lorenz did too: dialogical logic for ellipsis and anaphora resolution
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)
