On the public citation graph

Calculating self-referential statements, I: Explicit calculations

https://doi.org/10.1007/bf00493670
0 signed · 36 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-94-010-1453-3openalex-snapshot
Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and Linguistics
inferredcites →https://doi.org/10.1007/bf01700692openalex-snapshot
Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I
inferredcites →https://doi.org/10.1007/bf02121663openalex-snapshot
On the equational class of diagonalizable algebras
inferredcites →https://doi.org/10.1007/bf02123401openalex-snapshot
The uniqueness of the fixed-point in every diagonalizable algebra
inferredcites →https://doi.org/10.1007/bf02123402openalex-snapshot
An effective fixed-point theorem in intuitionistic diagonalizable algebras
inferredcites →https://doi.org/10.1007/bf02125226openalex-snapshot
The fixed-point theorem for diagonalizable algebras
inferredcites →https://doi.org/10.1007/bf02757006openalex-snapshot
Provability interpretations of modal logic
inferredcites →https://doi.org/10.1007/s00605-006-0423-7openalex-snapshot
Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I
inferredcites →https://doi.org/10.1016/s0049-237x(08)71123-6openalex-snapshot
The Incompleteness Theorems
inferredcites →https://doi.org/10.1016/s0049-237x(08)72008-1openalex-snapshot
Beth's Theorem and Self-Referential Sentences
inferredcites →https://doi.org/10.1016/s0049-237x(09)70346-5openalex-snapshot
A Survey of Decidability Results for Modal, Tense and Intermediate Logics
inferredcites →https://doi.org/10.1017/s001309150001049xopenalex-snapshot
Topological aspects of suitable theories
inferredcites →https://doi.org/10.1017/s002555720022500xopenalex-snapshot
Proceedings of the Edinburgh Mathematical Society
inferredcites →https://doi.org/10.1111/j.1468-0149.1963.tb00803.xopenalex-snapshot
ACTA PHILOSOPHICA FENNICA
inferredcites →https://doi.org/10.2307/2266895openalex-snapshot
Solution of a problem of Leon Henkin
inferredcites →https://doi.org/10.2307/2271809openalex-snapshot
Richard Montague. Syntactical treatments of modality, with corollaries on reflexion principles and finite axiomatizability. Proceedings of a Colloquium on Modal and Many-valued Logics, Helsinki, 23-26 August, 1962, Acta philosophica Fennica, no. 16, Helsinki 1963, pp. 153–167.
inferredcites →https://doi.org/10.2307/2272395openalex-snapshot
On deciding the truth of certain statements involving the notion of consistency
inferredcites →https://doi.org/10.4064/cm-28-2-165-180openalex-snapshot
Gödel's diagonalization technique and related properties of theories

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-0-8176-4769-8_9openalex-snapshot
The Development of Self-Reference: Löb’s Theorem
inferred← citeshttps://doi.org/10.1007/978-1-4613-8601-8_6openalex-snapshot
Fixed Point Algebras
inferred← citeshttps://doi.org/10.1007/978-94-009-3551-8_15openalex-snapshot
A Bibliography of Works on Reflexivity
inferred← citeshttps://doi.org/10.1007/978-94-009-6259-0_9openalex-snapshot
Modal Logic and Self-Reference
inferred← citeshttps://doi.org/10.1007/978-94-017-0466-3_1openalex-snapshot
Modal Logic and Self-Reference
inferred← citeshttps://doi.org/10.1007/978-94-017-8860-1_8openalex-snapshot
Constructive Modalities with Provability Smack
inferred← citeshttps://doi.org/10.1007/bf00370383openalex-snapshot
Provability: the emergence of a mathematical modality
inferred← citeshttps://doi.org/10.1007/bf01874706openalex-snapshot
A propositional logic with explicit fixed points
inferred← citeshttps://doi.org/10.1080/00029890.1984.11971468openalex-snapshot
Some New Types of Closure Properties in the Plane
inferred← citeshttps://doi.org/10.1090/s0273-0979-1982-15002-9openalex-snapshot
Fixed point algebras
inferred← citeshttps://doi.org/10.1093/jigpal/jzac054openalex-snapshot
The early history of formal diagonalization
inferred← citeshttps://doi.org/10.1111/j.1755-2567.1996.tb00529.xopenalex-snapshot
Provability logic—a short introduction
inferred← citeshttps://doi.org/10.1305/ndjfl/1093635331openalex-snapshot
A new proof of the fixed-point theorem of provability logic.
inferred← citeshttps://doi.org/10.1305/ndjfl/1093637556openalex-snapshot
Quantified modal logic and self-reference.
inferred← citeshttps://doi.org/10.1305/ndjfl/1093870156openalex-snapshot
Commutativity and self-reference.
inferred← citeshttps://doi.org/10.1305/ndjfl/1093883515openalex-snapshot
Fifty years of self-reference in arithmetic.
inferred← citeshttps://doi.org/10.2307/2273471openalex-snapshot
Sentences implying their own provability
inferred← citeshttps://doi.org/10.2307/2273755openalex-snapshot
On the proof theory of the modal logic for arithmetic provability
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.