Generic generalized Rosser fixed points

DOI10.1007/BF00370381zbMath0638.03019OpenAlexW2014565657MaRDI QIDQ1099165

Dick H. J. de Jongh, Franco Montagna

Publication date: 1987

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

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

zbMATH Keywords

modal logicprovabilitygeneralized Rosser sentencemodal system LR

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) First-order arithmetic and fragments (03F30) Structure of proofs (03F07)

Related Items

A simplification of a completeness proof of Guaspari and Solovay ⋮ Obituary: Franco Montagna (1948--2015) ⋮ Rosser and Mostowski sentences

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• The provability logics of recursively enumerable theories extending Peano arithmetic at arbitrary theories extending Peano arithmetic
• Hyperdiagonalizable algebras
• A simplification of a completeness proof of Guaspari and Solovay
• Relatively precomplete numerations and arithmetic
• The fixed-point theorem for diagonalizable algebras. (The algebraization of the theories which express Theor. III.)
• The uniqueness of the fixed-point in every diagonalizable algebra. (The algebraization of the theories which express Theor. VIII.)
• Provability interpretations of modal logic
• An effective fixed-point theorem in intuitionistic diagonalizable algebras. (The algebraization of the theories which express Theor. IX.)
• Equivalence relations induced by extensional formulae: classification by means of a new fixed point property
• Rosser sentences
• Calculating self-referential statements
• Extremely undecidable sentences

This page was built for publication: Generic generalized Rosser fixed points