Generic generalized Rosser fixed points

DOI10.1007/BF00370381MaRDI QIDQ1099165zbMATH OpenOpenAlexFDO

Authors 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) Structure of proofs (03F07) First-order arithmetic and fragments (03F30)

Recommendations

• GENERALIZED FIXED POINT THEOREM
• Generalized Rochlin invariants of fixed point sets
• scientific article; zbMATH DE number 6383091
• scientific article; zbMATH DE number 5289500
• scientific article; zbMATH DE number 4005005
• scientific article; zbMATH DE number 3853993
• scientific article; zbMATH DE number 4188756
• Generalizations of the Krasnoselskii fixed point theorem
• Fixed point results for generalized mappings
• Generalizations of fixed-point theorems of Altman and Rothe types

Cites work

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

Cited in

(13)

• Modal analysis of generalized rosser sentences
• Self-reference and modal logic
• Rosser and Mostowski sentences
• Arithmetic analogues of McAloon's unique Rosser sentences
• On the proof of Solovay's theorem
• Henkin sentences and local reflection principles for Rosser provability
• Arithmetic with a local reflection principle for Rosser provability formulas
• Rosser orderings and free variables
• A note on some extension results
• Universal Rosser predicates
• A simplification of a completeness proof of Guaspari and Solovay
• Derivability conditions on Rosser's provability predicates
• Obituary: Franco Montagna (1948--2015)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1099165)