On the public citation graph

The logic of π1-conservativity

https://doi.org/10.1007/bf01634981
0 signed · 38 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-1-4613-0609-2_3openalex-snapshot
Provability Logics for Relative Interpretability
inferredcites →https://doi.org/10.1007/978-1-4613-8601-8openalex-snapshot
Self-Reference and Modal Logic
inferredcites →https://doi.org/10.1007/bf02757006openalex-snapshot
Provability interpretations of modal logic
inferredcites →https://doi.org/10.1016/0003-4843(79)90017-2openalex-snapshot
Rosser sentences
inferredcites →https://doi.org/10.1016/0168-0072(85)90030-2openalex-snapshot
Fragments of arithmetic
inferredcites →https://doi.org/10.1090/s0002-9947-1979-0539907-7openalex-snapshot
Partially Conservative Extensions of Arithmetic
inferredcites →https://doi.org/10.2307/2273663openalex-snapshot
Modal analysis of generalized rosser sentences
inferredcites →https://doi.org/10.2307/2274450openalex-snapshot
C. Smoryński. Self-reference and modal logic. Universitext. Springer-Verlag, New York, Berlin, etc., 1985, xii + 333 pp.
inferredcites →https://doi.org/10.2307/2274474openalex-snapshot
The interpretability logic of Peano arithmetic
inferredcites →https://doi.org/10.2307/2274871openalex-snapshot
On recursion theory in IΣ1

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.202000037openalex-snapshot
Modal completeness of sublogics of the interpretability logic IL
inferred← citeshttps://doi.org/10.1007/0-387-31072-x_2openalex-snapshot
Problems in the Logic of Provability
inferred← citeshttps://doi.org/10.1007/1-4020-3521-7_3openalex-snapshot
Provability Logic
inferred← citeshttps://doi.org/10.1007/978-0-387-69245-6_1openalex-snapshot
On Two Models of Provability
inferred← citeshttps://doi.org/10.1007/bf00370389openalex-snapshot
The formalization of Interpretability
inferred← citeshttps://doi.org/10.1007/bf01270395openalex-snapshot
The logic ofII 1-conservativity continued
inferred← citeshttps://doi.org/10.1007/bfb0035960openalex-snapshot
Possibilistic logic as interpretability logic
inferred← citeshttps://doi.org/10.1007/s00500-016-2449-7openalex-snapshot
Franco Montagna (1948–2015)
inferred← citeshttps://doi.org/10.1007/s11225-016-9654-3openalex-snapshot
Franco Montagna’s Work on Provability Logic and Many-valued Logic
inferred← citeshttps://doi.org/10.1007/s11225-023-10068-zopenalex-snapshot
Unary Interpretability Logics for Sublogics of the Interpretability Logic $$\textbf{IL}$$
inferred← citeshttps://doi.org/10.1007/s11787-012-0070-9openalex-snapshot
A Short Note on Essentially Σ1 Sentences
inferred← citeshttps://doi.org/10.1016/j.apal.2005.05.005openalex-snapshot
On the limit existence principles in elementary arithmetic and Σn0 -consequences of theories
inferred← citeshttps://doi.org/10.1016/j.apal.2009.05.012openalex-snapshot
Interpretability in PRA
inferred← citeshttps://doi.org/10.1016/j.apal.2015.11.002openalex-snapshot
Transductions in arithmetic
inferred← citeshttps://doi.org/10.1016/j.indag.2017.10.003openalex-snapshot
Lewis meets Brouwer: Constructive strict implication
inferred← citeshttps://doi.org/10.1016/s1570-2464(07)80019-xopenalex-snapshot
16 Modal logic in mathematics
inferred← citeshttps://doi.org/10.1023/a:1015150314504openalex-snapshot
A Cut-Free Sequent System for the Smallest Interpretability Logic
inferred← citeshttps://doi.org/10.1070/rm9843openalex-snapshot
Reflection calculus and conservativity spectra
inferred← citeshttps://doi.org/10.1111/j.1755-2567.1996.tb00529.xopenalex-snapshot
Provability logic—a short introduction
inferred← citeshttps://doi.org/10.1215/00294527-1715653openalex-snapshot
Provability and Interpretability Logics with Restricted Realizations
inferred← citeshttps://doi.org/10.1305/ndjfl/1040511342openalex-snapshot
A Simple Proof of Arithmetical Completeness for $\Pi_1$-Conservativity Logic
inferred← citeshttps://doi.org/10.1305/ndjfl/1153858645openalex-snapshot
Interpolation and the Interpretability Logic of PA
inferred← citeshttps://doi.org/10.15119/00000117openalex-snapshot
A sequent system for the interpretability logic with the persistence axiom
inferred← citeshttps://doi.org/10.2307/2275181openalex-snapshot
An inside view of EXP; or, The closed fragment of the provability logic of IΔ0 + Ω1 with a prepositional constant for EXP
inferred← citeshttps://doi.org/10.4213/rm9843openalex-snapshot
Исчисление для схем рефлексии и спектры консервативности
inferred← citeshttps://doi.org/10.48550/arxiv.2004.03813openalex-snapshot
Modal completeness of sublogics of the interpretability logic $\mathbf{IL}$
inferred← citeshttps://doi.org/10.48550/arxiv.2006.10539openalex-snapshot
Provability and interpretability logics with restricted realizations
inferred← citeshttps://doi.org/10.48550/arxiv.2007.04722openalex-snapshot
An overview of Generalised Veltman Semantics
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.