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.
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.
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-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/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-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: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/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/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.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
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.