scientific article; zbMATH DE number 3931006

zbMATH Open0582.03045MaRDI QIDQ3705451FDOQ3705451

Authors: Raymond M. Smullyan 

Publication date: 1985

Title of this publication is not available (Why is that?)

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

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)

Cited In (5)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Löb's theorem in a set theoretical setting
• Automated proofs of Löb's theorem and Gödel's two incompleteness theorems
• 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)