On the public citation graph

Explicit Fixed Points in Interpretability Logic

https://doi.org/10.1007/bf00370386
0 signed · 32 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-8601-8openalex-snapshot
Self-Reference and Modal Logic
inferredcites →https://doi.org/10.1017/cbo9781139149105.033openalex-snapshot
On the ‘unprovability of consistency’
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.

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.202200020openalex-snapshot
The persistence principle over weak interpretability logic
inferred← citeshttps://doi.org/10.1007/978-3-031-47921-2_1openalex-snapshot
Notes on My Scientific Life
inferred← citeshttps://doi.org/10.1007/978-3-031-47921-2_2openalex-snapshot
Lewisian Fixed Points I: Two Incomparable Constructions
inferred← citeshttps://doi.org/10.1007/978-3-031-47921-2_5openalex-snapshot
An Overview of Verbrugge Semantics, a.k.a. Generalised Veltman Semantics
inferred← citeshttps://doi.org/10.1007/978-3-319-09719-0_17openalex-snapshot
The Henkin Sentence
inferred← citeshttps://doi.org/10.1007/bf00370389openalex-snapshot
The formalization of Interpretability
inferred← citeshttps://doi.org/10.1007/s00153-023-00882-6openalex-snapshot
The fixed point and the Craig interpolation properties for sublogics of $$\textbf{IL}$$
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.1016/s0049-237x(98)80022-0openalex-snapshot
The Logic of Provability
inferred← citeshttps://doi.org/10.1023/a:1005657917054openalex-snapshot
The Interpretability Logic of all Reasonable Arithmetical Theories
inferred← citeshttps://doi.org/10.1023/a:1015150314504openalex-snapshot
A Cut-Free Sequent System for the Smallest Interpretability Logic
inferred← citeshttps://doi.org/10.1093/jigpal/jzi047openalex-snapshot
Properties of Intuitionistic Provability and Preservativity Logics
inferred← citeshttps://doi.org/10.1093/jigpal/jzn013openalex-snapshot
Modal Matters for Interpretability Logics
inferred← citeshttps://doi.org/10.1093/jigpal/jzp082openalex-snapshot
A new principle in the interpretability logic of all reasonable arithmetical theories
inferred← citeshttps://doi.org/10.1093/jigpal/jzp096openalex-snapshot
Self provers and 1 sentences
inferred← citeshttps://doi.org/10.1093/logcom/exab077openalex-snapshot
Countably many sublogics of the interpretability logicILhaving fixed point properties
inferred← citeshttps://doi.org/10.1305/ndjfl/1093636104openalex-snapshot
Unary interpretability 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.2208/jscej.2004.757_1openalex-snapshot
SIMPLIFIED PROCEDURE FOR ASSESSING LIQUEFACTION POTENTIAL OF SOILSIN THE SPECIFICATIONS FOR HIGHWAY BRIDGES
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.48550/arxiv.2004.06902openalex-snapshot
A new principle in the interpretability logic of all reasonable arithmetical theories
inferred← citeshttps://doi.org/10.48550/arxiv.2004.06966openalex-snapshot
Modal Matters in Interpretability Logics
inferred← citeshttps://doi.org/10.48550/arxiv.2004.12685openalex-snapshot
The interpretability logic of all reasonable arithmetical theories
inferred← citeshttps://doi.org/10.48550/arxiv.2007.04722openalex-snapshot
An overview of Generalised Veltman Semantics
inferred← citeshttps://doi.org/10.48550/arxiv.2007.05427openalex-snapshot
The fixed point and the Craig interpolation properties for sublogics of $\mathbf{IL}$
inferred← citeshttps://doi.org/10.7551/mitpress/4286.003.0014openalex-snapshot
Actions under Presuppositions
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.