On the public citation graph
Models of logical systems
0 signed · 43 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.
inferredcites →https://doi.org/10.1007/978-3-662-41928-1openalex-snapshot
Grundzüge der Theoretischen Logik
inferredcites →https://doi.org/10.1007/978-3-662-42029-4openalex-snapshot
Einleitung in die Mengenlehre
inferredcites →https://doi.org/10.1007/bf00208622openalex-snapshot
Bericht über untersuchungen zur allgemeinen Axiomatik
inferredcites →https://doi.org/10.1090/s0002-9904-1944-08111-1openalex-snapshot
Recursively enumerable sets of positive integers and their decision problems
inferredcites →https://doi.org/10.1215/s0012-7094-36-00227-2openalex-snapshot
λ-definability and recursiveness
inferredcites →https://doi.org/10.2307/2019827openalex-snapshot
Introduction to Mathematical Logic. Part I
inferredcites →https://doi.org/10.2307/2266170openalex-snapshot
A formulation of the simple theory of types
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-0346-0145-0_17openalex-snapshot
Formal Systems As Structures—A Bourbachic Architecture of Logic
inferred← citeshttps://doi.org/10.1007/978-3-0346-0145-0_18openalex-snapshot
Researches in the General Theory of Formal Systems and in Connective Systems
inferred← citeshttps://doi.org/10.1007/978-3-0348-9114-1_5openalex-snapshot
La Logique Mathématique en sa jeunesse
inferred← citeshttps://doi.org/10.1007/978-3-322-86073-6_7openalex-snapshot
Vergleichbarkeit, Widerspruch und Erklärung
inferred← citeshttps://doi.org/10.1007/978-94-010-1451-9_31openalex-snapshot
Conditions of Progress and the Comparability of Theories
inferred← citeshttps://doi.org/10.1007/bf01360048openalex-snapshot
On disjunctions and existential statements in intuitionistic systems of logic
inferred← citeshttps://doi.org/10.1007/bf02120865openalex-snapshot
Translations and structure for partial propositional calculi
inferred← citeshttps://doi.org/10.1007/bf02125284openalex-snapshot
A propositional calculus in which three mutually undefinable functors are used as primitive terms
inferred← citeshttps://doi.org/10.1007/bf02333166openalex-snapshot
Extension of the methods of inductive logic
inferred← citeshttps://doi.org/10.1007/bf02340023openalex-snapshot
An essay in the formal theory of extension and of intension
inferred← citeshttps://doi.org/10.1007/bf02548469openalex-snapshot
Syntactic structure and semantical reference II
inferred← citeshttps://doi.org/10.1007/s11229-015-0853-7openalex-snapshot
Carnapian and Tarskian semantics
inferred← citeshttps://doi.org/10.1016/b978-0-7204-2233-7.50054-xopenalex-snapshot
A BIBLIOGRAPHY OF THE THEORY OF MODELS
inferred← citeshttps://doi.org/10.1016/j.apal.2003.10.010openalex-snapshot
What languages have Tarski truth definitions?
inferred← citeshttps://doi.org/10.1017/9781108766401.003openalex-snapshot
Attitude Ascriptions and Speech Reports
inferred← citeshttps://doi.org/10.1017/cbo9780511910616.005openalex-snapshot
Tennenbaum's theorem for models of arithmetic
inferred← citeshttps://doi.org/10.1017/s0305004100029649openalex-snapshot
An investigation of the propositional calculus used in a particular system of logic
inferred← citeshttps://doi.org/10.1080/26375451.2026.2652214openalex-snapshot
Sur la Porté du Théorème Löwenheim–Skolem: on the significance of the Löwenheim–Skolem theorem Thoralf Skolem
inferred← citeshttps://doi.org/10.1093/oso/9780192845443.003.0010openalex-snapshot
David Lewis and His Place in the History of Formal Semantics
inferred← citeshttps://doi.org/10.1093/pq/pqac001openalex-snapshot
On the Adequacy of a Substructural Logic for Mathematics and Science
inferred← citeshttps://doi.org/10.1111/j.1533-8525.1960.tb01474.xopenalex-snapshot
Autotelic Folk-Models
inferred← citeshttps://doi.org/10.1353/pbm.1982.0042openalex-snapshot
Models for Psychiatry: Icons or Effigies?
inferred← citeshttps://doi.org/10.2307/2266239openalex-snapshot
Über ω-Unvollständigkeit in der Peano-Arithmetik
inferred← citeshttps://doi.org/10.2307/2266971openalex-snapshot
Non-standard models for formal 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.