On the public citation graph

Sequence semantics for dynamic predicate logic

0 signed · 58 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.

Claim with ORCID

Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.

See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/bf00627399openalex-snapshot

A compositional approach to discourse representation theory

inferredcites →https://doi.org/10.1007/bf00628304openalex-snapshot

Dynamic predicate logic

inferredcites →https://doi.org/10.1007/bfb0018433openalex-snapshot

Two theories of dynamic semantics

inferredcites →https://doi.org/10.1007/bfb0018436openalex-snapshot

Action logic and pure induction

inferredcites →https://doi.org/10.1007/bfb0023431openalex-snapshot

Transition systems and dynamic semantics

inferredcites →https://doi.org/10.1016/s0049-237x(08)70133-2openalex-snapshot

Semantic Parallels in Natural Language and Computation

inferredcites →https://doi.org/10.1163/9789004252882_014openalex-snapshot

A Theory of Truth and Semantic Representation

inferredcites →https://doi.org/10.1515/9783110867602openalex-snapshot

Truth, Interpretation and Information

inferredcites →https://doi.org/10.1515/thli.1991.17.1-3.159openalex-snapshot

GENERAL DYNAMICS

inferredcites →https://doi.org/10.7551/mitpress/4286.003.0014openalex-snapshot

Actions under Presuppositions

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1007/978-1-4020-5958-2_8openalex-snapshot

Context and The Composition Of Meaning

inferred← citeshttps://doi.org/10.1007/978-3-030-88853-4_17openalex-snapshot

Lorenzen Won the Game, Lorenz Did Too: Dialogical Logic for Ellipsis and Anaphora Resolution

inferred← citeshttps://doi.org/10.1007/978-3-031-36190-6_15openalex-snapshot

Parsed Corpus Development with a Quick Access Interface

inferred← citeshttps://doi.org/10.1007/978-3-319-18830-0_2openalex-snapshot

Self-Selective Evaluation

inferred← citeshttps://doi.org/10.1007/978-3-319-93794-6_21openalex-snapshot

Annotating Syntax and Lexical Semantics With(out) Indexing

inferred← citeshttps://doi.org/10.1007/978-3-540-78197-4_15openalex-snapshot

Coordinating and Subordinating Dependencies

inferred← citeshttps://doi.org/10.1007/978-3-642-00609-8_12openalex-snapshot

Topic/Subject Coreference in the Hierarchy of Japanese Complex Sentences

inferred← citeshttps://doi.org/10.1007/978-3-642-14888-0_17openalex-snapshot

Problems with Intervention and Binding into Relations

inferred← citeshttps://doi.org/10.1007/978-3-642-25655-4_4openalex-snapshot

Interpreting Japanese Dependency Structure

inferred← citeshttps://doi.org/10.1007/978-3-642-32090-3_9openalex-snapshot

Towards a Self-selective and Self-healing Evaluation

inferred← citeshttps://doi.org/10.1007/978-94-007-4869-9_2openalex-snapshot

Predicate Logic with Anaphora

inferred← citeshttps://doi.org/10.1007/978-94-017-8813-7_4openalex-snapshot

Coordinating and Subordinating Binding Dependencies

inferred← citeshttps://doi.org/10.1007/bf00628200openalex-snapshot

The values of variables in dynamic semantics

inferred← citeshttps://doi.org/10.1007/bf01048354openalex-snapshot

Merging without mystery or: Variables in dynamics semantics

inferred← citeshttps://doi.org/10.1007/bf01050635openalex-snapshot

A modal perspective on the computational complexity of attribute value grammar

inferred← citeshttps://doi.org/10.1007/s10849-006-9036-8openalex-snapshot

Scope control and grammatical dependencies

inferred← citeshttps://doi.org/10.1007/s10849-010-9123-8openalex-snapshot

Semantically Restricted Argument Dependencies

inferred← citeshttps://doi.org/10.1007/s10849-019-09294-3openalex-snapshot

Variable Handling and Compositionality: Comparing DRT and DTS

inferred← citeshttps://doi.org/10.1007/s10988-011-9096-3openalex-snapshot

Sentence-internal different as quantifier-internal anaphora

inferred← citeshttps://doi.org/10.1007/s10992-006-9029-8openalex-snapshot

On Dependent Pronouns and Dynamic Semantics

inferred← citeshttps://doi.org/10.1007/s11168-006-9013-zopenalex-snapshot

Binding effects with scope control

inferred← citeshttps://doi.org/10.1007/s11168-006-9019-6openalex-snapshot

On appositives and dynamic binding

inferred← citeshttps://doi.org/10.1016/b978-0-444-53726-3.00003-7openalex-snapshot

Discourse Representation in Context

inferred← citeshttps://doi.org/10.1016/b978-044481714-3/50006-0openalex-snapshot

Representing Discourse in Context*

inferred← citeshttps://doi.org/10.1016/b978-044481714-3/50022-9openalex-snapshot

Presupposition*

inferred← citeshttps://doi.org/10.1016/s1874-5857(06)80033-6openalex-snapshot

The gamut of dynamic logics

inferred← citeshttps://doi.org/10.1017/s1755020316000125openalex-snapshot

EXCLUSIVELY INDEXICAL DEDUCTION

inferred← citeshttps://doi.org/10.1017/s1755020319000662openalex-snapshot

AN EXPRESSIVIST ANALYSIS OF THE INDICATIVE CONDITIONAL WITH A RESTRICTOR SEMANTICS

inferred← citeshttps://doi.org/10.1023/a:1008206916207openalex-snapshot

Contexts in Dynamic Predicate Logic

inferred← citeshttps://doi.org/10.1023/a:1008332604642openalex-snapshot

Variables as Stacks

inferred← citeshttps://doi.org/10.1023/a:1011251627260openalex-snapshot

Incremental Dynamics

inferred← citeshttps://doi.org/10.1023/a:1012439021359openalex-snapshot

A Calculus of Substitutions for DPL

inferred← citeshttps://doi.org/10.1023/b:ling.0000023369.19306.90openalex-snapshot

Clarification, Ellipsis, and the Nature of Contextual Updates in Dialogue

inferred← citeshttps://doi.org/10.1080/0020174x.2016.1267407openalex-snapshot

The sophisticated kind theory

inferred← citeshttps://doi.org/10.1093/jigpal/5.4.539openalex-snapshot

Compositional semantics for a language of imperfect information

inferred← citeshttps://doi.org/10.1093/jigpal/5.5.623openalex-snapshot

Typed logics with states

inferred← citeshttps://doi.org/10.1093/jos/ffag001openalex-snapshot

Split antecedents across conjunctions

inferred← citeshttps://doi.org/10.1093/jos/fft008openalex-snapshot

Partial Dynamic Semantics for Anaphora: Compositionality without Syntactic Coindexation

inferred← citeshttps://doi.org/10.1093/logcom/6.5.725openalex-snapshot

Counting variables in a dynamic setting

inferred← citeshttps://doi.org/10.1163/9789004334038_009openalex-snapshot

Reference Resolution in Context

inferred← citeshttps://doi.org/10.1305/ndjfl/1040046091openalex-snapshot

Dynamic Bracketing and Discourse Representation

inferred← citeshttps://doi.org/10.1515/tl-2023-2001openalex-snapshot

Wh-questions in dynamic inquisitive semantics

inferred← citeshttps://doi.org/10.18419/opus-2530openalex-snapshot

Topics in presupposition theory

inferred← citeshttps://doi.org/10.3765/salt.v4i0.2467openalex-snapshot

When Variables Don't Vary Enough

inferred← citeshttps://doi.org/10.3765/sp.12.10openalex-snapshot

Where is the destructive update problem?

inferred← citeshttps://doi.org/10.3765/sp.7.2openalex-snapshot

Varieties of update

inferred← citeshttps://doi.org/10.3765/sp.8.9openalex-snapshot

Incremental quantification and the dynamics of pair-list phenomena

inferred← citeshttps://doi.org/10.7551/mitpress/4286.003.0014openalex-snapshot

Actions under Presuppositions

Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.