On the public citation graph
Modal model theory
0 signed · 44 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 this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/malq.19770230702openalex-snapshot
Completeness Theorems For Modal Model Theory With the Montague‐Chang Semantics I
inferred← citeshttps://doi.org/10.1002/malq.19820282706openalex-snapshot
Algebraic Analysis of the Topological Logic L(I)
inferred← citeshttps://doi.org/10.1002/malq.19950410106openalex-snapshot
Some Connections between Topological and Modal Logic
inferred← citeshttps://doi.org/10.1007/3-7643-7304-0_2openalex-snapshot
Abstract Model Theory as a Framework for Universal Logic
inferred← citeshttps://doi.org/10.1007/978-1-4684-4109-3_9openalex-snapshot
Differences in Individuation and Vagueness
inferred← citeshttps://doi.org/10.1007/978-3-642-31585-5_29openalex-snapshot
Coalgebraic Predicate Logic
inferred← citeshttps://doi.org/10.1007/978-3-642-36976-6_16openalex-snapshot
Coalgebraic Predicate Logic: Equipollence Results and Proof Theory
inferred← citeshttps://doi.org/10.1007/978-3-642-87515-1_1openalex-snapshot
Zur Rolle und Bedeutung des Modells in der Geschichte der Naturwissenschaften und Medizin der Neuzeit. Mit einer Bibliographie zum Thema
inferred← citeshttps://doi.org/10.1007/978-3-662-44145-9_2openalex-snapshot
Definability for Downward and Vertical XPath on Data Trees
inferred← citeshttps://doi.org/10.1007/978-3-7643-8354-1_2openalex-snapshot
Abstract Model Theory as a Framework for Universal Logic
inferred← citeshttps://doi.org/10.1007/978-94-011-5640-0_10openalex-snapshot
Ax-Kochen-Ershov Principles for Valued and Ordered Vector Spaces
inferred← citeshttps://doi.org/10.1007/bf00671564openalex-snapshot
Classifying ?0-categorical theories
inferred← citeshttps://doi.org/10.1007/bf00869681openalex-snapshot
The worlds of fiction and the worlds of science: A comparative study
inferred← citeshttps://doi.org/10.1007/bf01194889openalex-snapshot
Algebraically closedp-semilattices
inferred← citeshttps://doi.org/10.1007/bf01222737openalex-snapshot
A characterization of some Boolean powers
inferred← citeshttps://doi.org/10.1007/bf01238543openalex-snapshot
Verallgemeinerte formalp-adische K�rper
inferred← citeshttps://doi.org/10.1007/bf01418758openalex-snapshot
Chang's modal operators in algebraic logic
inferred← citeshttps://doi.org/10.1007/bf02007264openalex-snapshot
Some model theory for monotone quantifiers
inferred← citeshttps://doi.org/10.1007/bf02011632openalex-snapshot
Topological model theory with an interior operator: Consistency properties and back — and forth arguments
inferred← citeshttps://doi.org/10.1007/s00012-015-0329-0openalex-snapshot
Another proof of the completeness of the Łukasiewicz axioms and of the extensions of Di Nola’s Theorem
inferred← citeshttps://doi.org/10.1007/s00165-007-0038-3openalex-snapshot
Minimal refinements of specifications in modal and temporal logics
inferred← citeshttps://doi.org/10.1007/s11225-020-09911-4openalex-snapshot
Correspondence, Canonicity, and Model Theory for Monotonic Modal Logics
inferred← citeshttps://doi.org/10.1007/s11229-022-04032-yopenalex-snapshot
Someone knows that local reasoning on hypergraphs is a weakly aggregative modal logic
inferred← citeshttps://doi.org/10.1016/j.ijar.2016.06.002openalex-snapshot
Covering-based rough sets and modal logics. Part I
inferred← citeshttps://doi.org/10.1016/s0049-237x(09)70457-4openalex-snapshot
The work of Andrzej Mostowski in model theory
inferred← citeshttps://doi.org/10.1093/bjps/36.2.147openalex-snapshot
Two Episodes in the Unification of Logic and Topology
inferred← citeshttps://doi.org/10.1093/logcom/exv043openalex-snapshot
A Van Benthem/Rosen theorem for coalgebraic predicate logic
inferred← citeshttps://doi.org/10.1134/s2070046618040039openalex-snapshot
A Note on Complex p-Adic Exponential Fields
inferred← citeshttps://doi.org/10.1305/ndjfl/1093638013openalex-snapshot
On the methodology of possible worlds semantics. I. Correspondence theory.
inferred← citeshttps://doi.org/10.2307/2273818openalex-snapshot
European Summer Meeting of the Association for Symbolic Logic
inferred← citeshttps://doi.org/10.2307/2586539openalex-snapshot
Logical questions concerning the μ-calculus: Interpolation, Lyndon and Łoś-Tarski
inferred← citeshttps://doi.org/10.48550/arxiv.1401.1156openalex-snapshot
Algebraisable versions of predicate topological logic
inferred← citeshttps://doi.org/10.48550/arxiv.1810.04722openalex-snapshot
A van Benthem Theorem for Quantitative Probabilistic Modal Logic
inferred← citeshttps://doi.org/10.48550/arxiv.1904.12997openalex-snapshot
Correspondence, Canonicity, and Model Theory for Monotonic Modal Logics
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.