On the public citation graph

Expressive completeness in modal language

0 signed · 59 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 points at this work

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

inferred← citeshttps://doi.org/10.1007/1-4020-2245-x_38openalex-snapshot
Transworld Individuals Versus David Lewis’s Creation of Counterpart Individuals
inferred← citeshttps://doi.org/10.1007/978-1-4020-2808-3_18openalex-snapshot
A Solution to Fitch' Paradox of Knowability
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-010-0047-5_54openalex-snapshot
A Classification of the Approaches to the Ontology of Possible Worlds
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/bf00263479openalex-snapshot
Physicalism, instrumentalism and the semantics of modal logic
inferred← citeshttps://doi.org/10.1007/bf00297574openalex-snapshot
Some theorems on the expressive limitations of modal languages
inferred← citeshttps://doi.org/10.1007/bf00354468openalex-snapshot
Against Modalism
inferred← citeshttps://doi.org/10.1007/bf02379362openalex-snapshot
Scope and subjunctivity
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-010-9151-5openalex-snapshot
Some Limitations to the Psychological Orientation in Semantic Theory
inferred← citeshttps://doi.org/10.1007/s10992-012-9243-5openalex-snapshot
Modal Ontology and Generalized Quantifiers
inferred← citeshttps://doi.org/10.1007/s10992-012-9248-0openalex-snapshot
The Logic of Counterpart Theory with Actuality
inferred← citeshttps://doi.org/10.1007/s10992-012-9254-2openalex-snapshot
Possible Worlds for Modal Primitivists
inferred← citeshttps://doi.org/10.1007/s10992-015-9389-zopenalex-snapshot
The Problem of Cross-world Predication
inferred← citeshttps://doi.org/10.1007/s10992-024-09745-8openalex-snapshot
Counterpart Theory and Actuality
inferred← citeshttps://doi.org/10.1007/s11098-011-9822-2openalex-snapshot
Coming true: a note on truth and actuality
inferred← citeshttps://doi.org/10.1007/s11098-017-0894-5openalex-snapshot
Actuality and the a priori
inferred← citeshttps://doi.org/10.1007/s11098-019-01294-0openalex-snapshot
In defense of the possibilism–actualism distinction
inferred← citeshttps://doi.org/10.1007/s11098-020-01440-zopenalex-snapshot
Counterfactuals, counteractuals, and free choice
inferred← citeshttps://doi.org/10.1007/s11225-012-9395-xopenalex-snapshot
Actuality in Propositional Modal Logic
inferred← citeshttps://doi.org/10.1007/s11229-012-0201-0openalex-snapshot
How to Lewis a Kripke–Hintikka
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.1016/b978-044451541-4/50025-7openalex-snapshot
Logically Possible Worlds and Counterpart Semantics for Modal Logic
inferred← citeshttps://doi.org/10.1016/j.shpsa.2005.09.001openalex-snapshot
Can the constructive empiricist be a nominalist? Quasi-truth, commitment and consistency
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/cbo9780511498985openalex-snapshot
Philosophical Perspectives on Infinity
inferred← citeshttps://doi.org/10.1017/s1755020312000044openalex-snapshot
INDISPENSABILITY ARGUMENTS AND INSTRUMENTAL NOMINALISM
inferred← citeshttps://doi.org/10.1017/s1755020320000325openalex-snapshot
THE LOGIC OF SEQUENCE FRAMES
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/a:1017579410231openalex-snapshot
Completeness and Decidability Results for Some Propositional Modal Logics Containing “Actually” Operators
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.1023/b:phil.0000019544.39800.50openalex-snapshot
Reference, Contingency, and the Two-Dimensional Framework
inferred← citeshttps://doi.org/10.1080/11663081.2024.2366751openalex-snapshot
Can a dialetheist stay regular?
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199682751.001.0001openalex-snapshot
Assessment Sensitivity: Relative Truth and its Applications
inferred← citeshttps://doi.org/10.1093/mind/fzae058openalex-snapshot
Freedom, Omniscience and the Contingent A Priori
inferred← citeshttps://doi.org/10.1093/mind/fzi001openalex-snapshot
Counterparts and Actuality
inferred← citeshttps://doi.org/10.1093/mind/fzs004openalex-snapshot
'Identity' without Identity
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.1111/0029-4624.00158openalex-snapshot
A Modal Fictionalist Result
inferred← citeshttps://doi.org/10.1111/j.1468-0068.2010.00823.xopenalex-snapshot
A Modal Approach to Intentional Identity1
inferred← citeshttps://doi.org/10.1111/j.1755-2567.2005.tb01011.xopenalex-snapshot
Béziau's Translation Paradox
inferred← citeshttps://doi.org/10.1111/phib.12026openalex-snapshot
Nothing But d‐Truth
inferred← citeshttps://doi.org/10.1111/phpe.12039openalex-snapshot
THE QUESTION OF MORAL ONTOLOGY
inferred← citeshttps://doi.org/10.1215/00294527-2009-007openalex-snapshot
Times in Tense Logic
inferred← citeshttps://doi.org/10.1215/00318108-2315297openalex-snapshot
Quantifying Over Possibilities
inferred← citeshttps://doi.org/10.15388/problemos.priedas.24.4openalex-snapshot
Modalism Revisited: A Defence
inferred← citeshttps://doi.org/10.1590/0100-6045.2019.v42n3.pmopenalex-snapshot
From modal fallacies to a new argument for fatalism
inferred← citeshttps://doi.org/10.2307/2218885openalex-snapshot
Dummett on Temporal Operators
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.