On the public citation graph

Model theory for modal logic part I?The De re/de dicto distinction

https://doi.org/10.1007/bf00245925
0 signed · 80 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/978-3-0346-0145-0_16openalex-snapshot
Semantical Considerations on Modal Logic
inferredcites →https://doi.org/10.1007/978-94-010-3272-8_3openalex-snapshot
Some Completeness Results for Modal Predicate Calculi
inferredcites →https://doi.org/10.1007/bf00129610openalex-snapshot
On de dicto modalities in quantified S5
inferredcites →https://doi.org/10.1007/bf00693269openalex-snapshot
Normal modal model theory
inferredcites →https://doi.org/10.1111/j.1755-2567.1961.tb00020.xopenalex-snapshot
Modality and Quantification
inferredcites →https://doi.org/10.2307/2024635openalex-snapshot
How to Russell a Frege-Church

What points at this work

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

inferred← citeshttps://doi.org/10.1002/9780470996751.ch30openalex-snapshot
Alethic Modal Logics and Semantics
inferred← citeshttps://doi.org/10.1002/9781405164801.ch7openalex-snapshot
Modal Logic
inferred← citeshttps://doi.org/10.1002/malq.19800263102openalex-snapshot
Saturated and Special Models in Modal Model Theory With Applications to the Modal and DE RE Hierarchies
inferred← citeshttps://doi.org/10.1007/978-1-4613-0609-2_9openalex-snapshot
Semantics of Non-Classical First Order Predicate Logics
inferred← citeshttps://doi.org/10.1007/978-3-030-71430-7_22openalex-snapshot
Comments on the Contributions
inferred← citeshttps://doi.org/10.1007/978-3-031-29415-0_21openalex-snapshot
Propositional Potentialism
inferred← citeshttps://doi.org/10.1007/978-3-031-40714-7_13openalex-snapshot
Predicate Abstraction, Informally
inferred← citeshttps://doi.org/10.1007/978-3-031-57635-5_2openalex-snapshot
Saul Kripke: A Portrait of the Modal Logician as a Young Man
inferred← citeshttps://doi.org/10.1007/978-94-009-6259-0_1openalex-snapshot
Basic Modal 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-011-3933-5_18openalex-snapshot
On a Milestone of Empiricism
inferred← citeshttps://doi.org/10.1007/978-94-015-8242-1_1openalex-snapshot
Beyond Accessibility
inferred← citeshttps://doi.org/10.1007/978-94-017-1592-8_3openalex-snapshot
“Conservative” Kripke Closures
inferred← citeshttps://doi.org/10.1007/bf00249434openalex-snapshot
The true modal logic
inferred← citeshttps://doi.org/10.1007/bf00253913openalex-snapshot
On the philosophical basis of essentialist theories
inferred← citeshttps://doi.org/10.1007/bf00263479openalex-snapshot
Physicalism, instrumentalism and the semantics of modal logic
inferred← citeshttps://doi.org/10.1007/bf00293421openalex-snapshot
Model theory for modal logic?Part III existence and predication
inferred← citeshttps://doi.org/10.1007/bf00297574openalex-snapshot
Some theorems on the expressive limitations of modal languages
inferred← citeshttps://doi.org/10.1007/bf00297575openalex-snapshot
Axioms for actuality
inferred← citeshttps://doi.org/10.1007/bf00370118openalex-snapshot
Completeness theorem for dummett's LC quantified and some of its extensions
inferred← citeshttps://doi.org/10.1007/bf00370319openalex-snapshot
First-order modal theories
inferred← citeshttps://doi.org/10.1007/bf00370979openalex-snapshot
Contingency and modal logic
inferred← citeshttps://doi.org/10.1007/bf00401656openalex-snapshot
A new modal language with the ? operator
inferred← citeshttps://doi.org/10.1007/bf00454742openalex-snapshot
How far can Hume's is-ought thesis be generalized?
inferred← citeshttps://doi.org/10.1007/bf00500112openalex-snapshot
First-order modal theories III — Facts
inferred← citeshttps://doi.org/10.1007/bf01874701openalex-snapshot
Model theory for tense logic: Saturated and special models with applications to the tense hierarchy
inferred← citeshttps://doi.org/10.1007/bf02007147openalex-snapshot
A possibility-free logic of descriptions
inferred← citeshttps://doi.org/10.1007/s11225-012-9412-0openalex-snapshot
Revising Carnap’s Semantic Conception of Modality
inferred← citeshttps://doi.org/10.1016/b978-0-444-51675-6.50019-0openalex-snapshot
Modality, Mereology and Substance
inferred← citeshttps://doi.org/10.1016/s0049-237x(09)70736-0openalex-snapshot
Bibliography
inferred← citeshttps://doi.org/10.1016/s1570-2464(07)80012-7openalex-snapshot
9 First-order modal logic
inferred← citeshttps://doi.org/10.1017/s1755020313000300openalex-snapshot
LOGICAL GROUNDS
inferred← citeshttps://doi.org/10.1023/a:1004228430102openalex-snapshot
The elimination of de re formulas
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.1080/00455091.2013.891706openalex-snapshot
Contingently existing propositions
inferred← citeshttps://doi.org/10.1080/00455091.2016.1205853openalex-snapshot
Reply to Fine
inferred← citeshttps://doi.org/10.1086/674344openalex-snapshot
On Where Things Could Be
inferred← citeshttps://doi.org/10.1093/0199278709.001.0001openalex-snapshot
Modality and tense : philosophical papers
inferred← citeshttps://doi.org/10.1093/0199278709.001.0001.002.003openalex-snapshot
Copyright Page
inferred← citeshttps://doi.org/10.1093/0199278709.001.0001.002.005openalex-snapshot
Origin of the Papers
inferred← citeshttps://doi.org/10.1093/0199278709.002.0001openalex-snapshot
Preface
inferred← citeshttps://doi.org/10.1093/0199278709.003.0001openalex-snapshot
Introduction
inferred← citeshttps://doi.org/10.1093/0199278709.003.0002openalex-snapshot
1 Reference, Essence, and Identity
inferred← citeshttps://doi.org/10.1093/0199278709.003.0003openalex-snapshot
2 The Problem ofDe ReModality
inferred← citeshttps://doi.org/10.1093/0199278709.003.0004openalex-snapshot
3 Quine on Quantifying In
inferred← citeshttps://doi.org/10.1093/0199278709.003.0005openalex-snapshot
4 Prior on the Construction of Possible Worlds and Instants
inferred← citeshttps://doi.org/10.1093/0199278709.003.0006openalex-snapshot
5 Plantinga on the Reduction of Possibilist Discourse
inferred← citeshttps://doi.org/10.1093/0199278709.003.0007openalex-snapshot
The Problem of Possibilia
inferred← citeshttps://doi.org/10.1093/0199278709.003.0008openalex-snapshot
7 The Varieties of Necessity
inferred← citeshttps://doi.org/10.1093/0199278709.003.0009openalex-snapshot
8 Tense and Reality
inferred← citeshttps://doi.org/10.1093/0199278709.003.0010openalex-snapshot
9 Necessity and Non‐Existence
inferred← citeshttps://doi.org/10.1093/0199278709.003.0011openalex-snapshot
10 Review of Counterfactuals by David Lewis
inferred← citeshttps://doi.org/10.1093/0199278709.003.0012openalex-snapshot
11 Review ofThe Nature of Necessityby Alvin Plantinga
inferred← citeshttps://doi.org/10.1093/analys/42.1.33openalex-snapshot
Canonical counterpart theory
inferred← citeshttps://doi.org/10.1093/mind/fzt037openalex-snapshot
Actuality for Counterpart Theorists
inferred← citeshttps://doi.org/10.1093/oxfordhb/9780195325928.003.0015openalex-snapshot
Nominalism
inferred← citeshttps://doi.org/10.1093/philmat/nkv017openalex-snapshot
Logic, Essence, and Modality Bob Hale.Necessary Beings: An Essay on Ontology, Modality, & the Relations Between Them.Oxford University Press, 2013. ISBN: 978-0-19-966262-3 (hbk); 978-0-19-874803-8 (pbk); 978-0-19-164834-2 (e-book). Pp. ix + 298
inferred← citeshttps://doi.org/10.1111/j.1467-9264.2011.00307.xopenalex-snapshot
VII-Plural Quantification and Modality
inferred← citeshttps://doi.org/10.1111/j.1475-4975.1986.tb00486.xopenalex-snapshot
In Defense of Absolute Essentialism
inferred← citeshttps://doi.org/10.1111/nous.12126openalex-snapshot
Quantified Modality and Essentialism
inferred← citeshttps://doi.org/10.1111/nous.12127openalex-snapshot
Quantified Modal Logic and Quine's Critique: Some Further Observations
inferred← citeshttps://doi.org/10.1111/phpe.12088openalex-snapshot
Vagueness & Modality—An Ecumenical Approach*
inferred← citeshttps://doi.org/10.1215/00294527-2021-0015openalex-snapshot
Modal Metatheory for Quantified Modal Logic, With and Without the Barcan Formulas
inferred← citeshttps://doi.org/10.1305/ndjfl/1040067314openalex-snapshot
The Expressive Power of Second-Order Propositional Modal Logic
inferred← citeshttps://doi.org/10.1305/ndjfl/1074396306openalex-snapshot
Investigations into Quantified Modal Logic
inferred← citeshttps://doi.org/10.1305/ndjfl/1093634657openalex-snapshot
Quantified modal logics of positive rational numbers and some related systems.
inferred← citeshttps://doi.org/10.21555/top.v0i0.762openalex-snapshot
El Esencialismo Individuativo de Wiggins y la Función de los Juicios de Modalidad De Re
inferred← citeshttps://doi.org/10.21555/top.v0i60.1166openalex-snapshot
Sobre un argumento en contra de la combinación de anti-realismo modal de re y realismo sobre objetos
inferred← citeshttps://doi.org/10.2307/2273727openalex-snapshot
Failures of the interpolation lemma in quantified modal logic
inferred← citeshttps://doi.org/10.2307/2273728openalex-snapshot
Reduction to first degree in quantificational S5
inferred← citeshttps://doi.org/10.25300/misq/2025/18178openalex-snapshot
Different but the Same? An Event-Driven Approach to Determine Probabilities of Data Duplication
inferred← citeshttps://doi.org/10.31577/orgf.2020.27407openalex-snapshot
Subject and Predicate in Existential Propositions: A Survey of Frege’s Problem and Its Solutions
inferred← citeshttps://doi.org/10.4288/jafpos1956.6.147openalex-snapshot
Embedding of Modal Predicate Systems into Lower Predicate Calculus
inferred← citeshttps://doi.org/10.4324/9781315742144-33openalex-snapshot
Modal set theory *
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.