Recommendations
Cited in
(only showing first 100 items - show all)- Types as graphs: Continuations in type logical grammar
- Scope control and grammatical dependencies
- Game theory and discourse anaphora
- Logical dynamics of some speech acts that affect obligations and preferences
- Language in action
- A system of dynamic modal logic
- Predicate logic with flexibly binding operators and natural language semantics
- Sequence semantics for dynamic predicate logic
- Dynamic interpretation and Hoare deduction
- Dynamic semantics and circular propositions
- Intensionality and context change. Towards a dynamic theory of propositions and properties
- Reasoning about update logic
- Presupposition failure - a comedy of errors
- Contexts in dynamic predicate logic
- Linguistic\(\leftrightarrow \)rational agents' semantics
- Probabilistic approaches to vagueness and semantic competency
- Dynamic bracketing and discourse representation
- Merging without mystery or: Variables in dynamics semantics
- Dynamic squares
- Directions in generalized quantifier theory
- A counterexample to modus tollens
- Causal dynamic inference
- Free choice impossibility results
- Implicit and explicit stances in logic
- A computational treatment of anaphora and its algorithmic implementation
- Lorenzen won the game, Lorenz did too: dialogical logic for ellipsis and anaphora resolution
- Sequential dynamic logic
- Natural language and logic of agency
- Context and consequence. an intercontextual substructural logic
- Does semantic relationism solve Frege's puzzle?
- Variable handling and compositionality: comparing DRT and DTS
- The grammar of quantification and the fine structure of interpretation contexts
- Comments to `Logics of public communications'
- Disjunctive antecedent conditionals
- Semantics of anaphora as an update operator
- The Semantics of Corrections
- Ghosts, murderers, and the semantics of descriptions
- Bridges between contextual linguistic models of vagueness and t-norm based fuzzy logic
- Variables and attitudes
- How to set up normal optimal answer models
- The expressive power of memory logics
- Implementing the binding and accommodation theory for anaphora resolution and presupposition projection
- Dynamic logics of imperfect information: from teams and games to transitions
- Introduction: from information at large to semantics of logics
- Computational Hermeneutics: An Integrated Approach for the Logical Analysis of Natural-Language Arguments
- Intuitionistic categorial grammar
- Discourse interpretation based on dynamic constraints
- A Dynamic Semantics of Modal Subordination
- Dynamic Context Logic
- Seeing the language: a diagrammatic approach to natural discourse
- scientific article; zbMATH DE number 549968 (Why is no real title available?)
- scientific article; zbMATH DE number 1523022 (Why is no real title available?)
- scientific article; zbMATH DE number 1749205 (Why is no real title available?)
- scientific article; zbMATH DE number 1794700 (Why is no real title available?)
- Question meaning = resolution conditions
- Believing epistemic contradictions
- Counting variables in a dynamic setting
- Logic and semantics for imperatives
- Evidence sensitivity in weak necessity deontic modals
- First order expressivist logic
- scientific article; zbMATH DE number 936299 (Why is no real title available?)
- Dynamic semantics of plurals \(\mathrm{DPL}_{Q}^{\circledast}\)
- Logic for languages containing referentially promiscuous expressions
- The Mathematics of Text Structure
- E-type interpretation without E-type pronoun: how Peirce's graphs capture the uniqueness implication of donkey pronouns in discourse anaphora
- Prior's individuals
- Fusing Quantifiers and Connectives: Is Intuitionistic Logic Different?
- Dependency as question entailment
- Epistemic Informativeness
- MODALITY AND EXPRESSIBILITY
- A three-valued quantified argument calculus: domain-free model-theory, completeness, and embedding of FOL
- Semantic unification. A sheaf theoretic approach to natural language
- Gnosis
- scientific article; zbMATH DE number 972588 (Why is no real title available?)
- scientific article; zbMATH DE number 972612 (Why is no real title available?)
- Exclusively indexical deduction
- A type reduction from proof-conditional to dynamic semantics
- Incremental dynamics
- The donkey and the monoid. Dynamic semantics with control elements
- Dynamic extensions of arrow logic
- Propositional forms of judgemental interpretations
- 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
- 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
- Fatalism and the logic of unconditionals
- Kleene algebra of weighted programs with domain
- Segmented discourse representation theory: dynamic semantics with discourse structure
- Context and the composition of meaning
- Executable first-order queries in the logic of information flows
- Artificial intelligence and language
- Compositionality in context
- Preservation theorems for Tarski's relation algebra
- Implicational Kleene algebra with domain and the substructural logic of partial correctness
- The bridge principle and stigmatized truth-values
- Toward a dynamic logic of questions
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)
