Explicit fixed points in interpretability logic

DOI10.1007/BF00370386zbMath0744.03020OpenAlexW2086768898MaRDI QIDQ1176094

Albert Visser, Dick H. J. de Jongh

Publication date: 25 June 1992

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00370386

zbMATH Keywords

interpretability logicprovability logicexplicit definability of fixed points

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Gödel numberings and issues of incompleteness (03F40) Relative consistency and interpretations (03F25)

Related Items (4)

Franco Montagna's work on provability logic and many-valued logic ⋮ The Henkin Sentence ⋮ An inside view of EXP; or, The closed fragment of the provability logic of IΔ₀ + Ω₁ with a prepositional constant for EXP ⋮ The fixed point and the Craig interpolation properties for sublogics of \textbf{IL}

Cites Work

• Modal analysis of generalized rosser sentences
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Explicit fixed points in interpretability logic