On the public citation graph

Some theorems on the expressive limitations of modal languages

https://doi.org/10.1007/bf00297574
0 signed · 40 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/10992.1573-0433openalex-snapshot
Journal of Philosophical Logic
inferredcites →https://doi.org/10.1007/bf00245925openalex-snapshot
Model theory for modal logic part I?The De re/de dicto distinction
inferredcites →https://doi.org/10.1007/bf00263656openalex-snapshot
Expressive completeness in modal language
inferredcites →https://doi.org/10.2307/2273727openalex-snapshot
Failures of the interpolation lemma in quantified modal logic

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-3-662-48561-3_17openalex-snapshot
On the Expressivity of First-Order Modal Logic with “Actually”
inferred← citeshttps://doi.org/10.1007/978-94-007-0002-4_6openalex-snapshot
First-Order Hybrid Logic
inferred← citeshttps://doi.org/10.1007/978-94-017-0395-6_10openalex-snapshot
Features in Phonological Theory
inferred← citeshttps://doi.org/10.1007/978-94-017-0395-6_19openalex-snapshot
Synchrony and Composition: Toward a Cognitive Architecture between Classicism and Connectionism
inferred← citeshttps://doi.org/10.1007/bf00247714openalex-snapshot
On modal logics which enrich first-order S5
inferred← citeshttps://doi.org/10.1007/bf00297575openalex-snapshot
Axioms for actuality
inferred← citeshttps://doi.org/10.1007/s10670-020-00346-wopenalex-snapshot
On Equivalence Relations Between Interpreted Languages, with an Application to Modal and First-Order Language
inferred← citeshttps://doi.org/10.1007/s10992-008-9090-6openalex-snapshot
‘Now’ and ‘Then’ in Tense Logic
inferred← citeshttps://doi.org/10.1007/s10992-015-9389-zopenalex-snapshot
The Problem of Cross-world Predication
inferred← citeshttps://doi.org/10.1007/s11098-017-0894-5openalex-snapshot
Actuality and the a priori
inferred← citeshttps://doi.org/10.1007/s11229-014-0545-8openalex-snapshot
Axiomatizing relativistic dynamics using formal thought experiments
inferred← citeshttps://doi.org/10.1007/s11229-016-1172-3openalex-snapshot
On the expressive power of first-order modal logic with two-dimensional operators
inferred← citeshttps://doi.org/10.1007/s11245-016-9426-8openalex-snapshot
Still in the Mood: The Versatility of Subjunctive Markers in Modal Logic
inferred← citeshttps://doi.org/10.1007/s12136-011-0138-9openalex-snapshot
Empirical Negation
inferred← citeshttps://doi.org/10.1016/b978-044451541-4/50025-7openalex-snapshot
Logically Possible Worlds and Counterpart Semantics for Modal Logic
inferred← citeshttps://doi.org/10.1016/s1570-2464(07)80012-7openalex-snapshot
9 First-order modal logic
inferred← citeshttps://doi.org/10.1017/9781316755822.010openalex-snapshot
Modality, mood, and descriptions
inferred← citeshttps://doi.org/10.1017/s1755020311000384openalex-snapshot
COMPLETENESS RESULTS FOR SOME TWO-DIMENSIONAL LOGICS OF ACTUALITY
inferred← citeshttps://doi.org/10.1017/s1755020312000044openalex-snapshot
INDISPENSABILITY ARGUMENTS AND INSTRUMENTAL NOMINALISM
inferred← citeshttps://doi.org/10.1023/a:1013360121031openalex-snapshot
First-order Expressivity for S5-models: Modal vs. Two-sorted Languages
inferred← citeshttps://doi.org/10.1023/b:logi.0000046193.69391.18openalex-snapshot
In the Mood
inferred← citeshttps://doi.org/10.1023/b:phil.0000019542.43440.d1openalex-snapshot
Two-Dimensional Adventures
inferred← citeshttps://doi.org/10.1080/0020174x.2018.1544097openalex-snapshot
Looking backwards in type logic
inferred← citeshttps://doi.org/10.1093/mind/fzi001openalex-snapshot
Counterparts and Actuality
inferred← citeshttps://doi.org/10.1093/mind/fzt024openalex-snapshot
Counterpart Theory and the Actuality Operator
inferred← citeshttps://doi.org/10.1093/mind/fzt037openalex-snapshot
Actuality for Counterpart Theorists
inferred← citeshttps://doi.org/10.1093/pq/pqx006openalex-snapshot
Explaining the Actuality Operator Away
inferred← citeshttps://doi.org/10.1111/j.1755-2567.2005.tb01011.xopenalex-snapshot
Béziau's Translation Paradox
inferred← citeshttps://doi.org/10.1111/nous.12172openalex-snapshot
A Purely Recombinatorial Puzzle
inferred← citeshttps://doi.org/10.1111/phib.12026openalex-snapshot
Nothing But d‐Truth
inferred← citeshttps://doi.org/10.1215/00294527-2009-007openalex-snapshot
Times in Tense Logic
inferred← citeshttps://doi.org/10.1215/00294527-2017-0022openalex-snapshot
Actualism, Serious Actualism, and Quantified Modal Logic
inferred← citeshttps://doi.org/10.1305/ndjfl/1134397658openalex-snapshot
First-Order Modal Logic with an 'Actually' Operator
inferred← citeshttps://doi.org/10.2307/420955openalex-snapshot
Construction of Truth Predicates: Approximation Versus Revision
inferred← citeshttps://doi.org/10.26686/ajl.v13i7.3894openalex-snapshot
Two-Dimensional Tableaux
inferred← citeshttps://doi.org/10.3998/ergo.5713openalex-snapshot
The Logic of Contingent Actuality
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.