The following pages link to Dynamic predicate logic (Q5202997):
Displaying 50 items.
- Seeing the language: a diagrammatic approach to natural discourse (Q375290) (← links)
- Logic and semantics for imperatives (Q484146) (← links)
- Evidence sensitivity in weak necessity deontic modals (Q484149) (← links)
- Transition semantics: the dynamics of dependence logic (Q484952) (← links)
- First order expressivist logic (Q485622) (← links)
- Logic for languages containing referentially promiscuous expressions (Q496327) (← links)
- E-type interpretation without E-type pronoun: how Peirce's graphs capture the uniqueness implication of donkey pronouns in discourse anaphora (Q513921) (← links)
- Prior's individuals (Q516402) (← links)
- Gnosis (Q543533) (← links)
- Toward a dynamic logic of questions (Q692177) (← links)
- Choice functions and the anaphoric semantics of definite NPs (Q704019) (← links)
- The pragmatic dimension of indefinites (Q704023) (← links)
- A new theory of quantifiers and term connectives (Q735412) (← links)
- Truth and context change (Q742473) (← links)
- Formal semantics and applied mathematics: an inferential account (Q783675) (← links)
- Introducing \(\llparenthesis\lambda\rrparenthesis\), a \(\lambda \)-calculus for effectful computation (Q831147) (← links)
- Why propositions might be sets of truth-supporting circumstances (Q848215) (← links)
- Unbound anaphoric pronouns: E-type, dynamic, and structured-propositions approaches (Q857697) (← links)
- On dependent pronouns and dynamic semantics (Q877239) (← links)
- Structured anaphora to quantifier domains (Q964496) (← links)
- Types as graphs: Continuations in type logical grammar (Q1006443) (← links)
- Scope control and grammatical dependencies (Q1006465) (← links)
- Game theory and discourse anaphora (Q1006468) (← links)
- Logical dynamics of some speech acts that affect obligations and preferences (Q1024131) (← links)
- Language in action (Q1177646) (← links)
- A system of dynamic modal logic (Q1267078) (← links)
- Predicate logic with flexibly binding operators and natural language semantics (Q1314273) (← links)
- Sequence semantics for dynamic predicate logic (Q1314278) (← links)
- Dynamic semantics and circular propositions (Q1325775) (← links)
- Intensionality and context change. Towards a dynamic theory of propositions and properties (Q1334988) (← links)
- Reasoning about update logic (Q1344850) (← links)
- Presupposition failure - a comedy of errors (Q1346767) (← links)
- Linguistic\(\leftrightarrow \)rational agents' semantics (Q1688923) (← links)
- Probabilistic approaches to vagueness and semantic competency (Q1800430) (← links)
- Dynamic bracketing and discourse representation (Q1815432) (← links)
- Merging without mystery or: Variables in dynamics semantics (Q1896789) (← links)
- Dynamic squares (Q1902558) (← links)
- Directions in generalized quantifier theory (Q1908858) (← links)
- A counterexample to modus tollens (Q1929760) (← links)
- Causal dynamic inference (Q1935591) (← links)
- Free choice impossibility results (Q1986080) (← links)
- Implicit and explicit stances in logic (Q2000675) (← links)
- A computational treatment of anaphora and its algorithmic implementation (Q2035844) (← links)
- Lorenzen won the game, Lorenz did too: dialogical logic for ellipsis and anaphora resolution (Q2148798) (← links)
- Sequential dynamic logic (Q2255197) (← links)
- Natural language and logic of agency (Q2255238) (← links)
- Context and consequence. an intercontextual substructural logic (Q2263051) (← links)
- Does semantic relationism solve Frege's puzzle? (Q2410895) (← links)
- Variable handling and compositionality: comparing DRT and DTS (Q2425327) (← links)
- The grammar of quantification and the fine structure of interpretation contexts (Q2443334) (← links)
