scientific article; zbMATH DE number 3931006

MaRDI QIDQ3705451zbMATH OpenFDO

Authors Raymond M. Smullyan

Publication date 1985

zbMATH Keywords

modal logicsself-referencefirst-order theoriesprovability predicateself-referential systems

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 724682
• On a theorem of Lobanova and Sadovskij
• A theorem of Lohwater and Piranian
• scientific article; zbMATH DE number 98688
• An application of Lovelock's theorem
• scientific article; zbMATH DE number 1106887
• scientific article; zbMATH DE number 1053087
• The Loomis-Sikorski theorem revisited
• scientific article; zbMATH DE number 861349
• A proof of Łojasiewicz's theorem

Cited in

(6)

• scientific article; zbMATH DE number 1870126 (Why is no real title available?)
• scientific article; zbMATH DE number 724682 (Why is no real title available?)
• Automated proofs of Löb's theorem and Gödel's two incompleteness theorems
• Löb's theorem in a set theoretical setting
• The absorption law. Or: how to Kreisel a Hilbert-Bernays-Löb
• A note on derivability conditions

This page was built for publication:

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