Quantified modal logic and self-reference

DOI10.1305/NDJFL/1093637556MaRDI QIDQ1097256zbMATH OpenOpenAlexFDO

Authors Craig Smoryński

Publication date 1987

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1305/ndjfl/1093637556

zbMATH Keywords

modal logicprovability logicarithmetical provability

Mathematics Subject Classification ID

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

Recommendations

• The predicate modal logic of provability
• The fixed point property in modal logic
• scientific article; zbMATH DE number 1215499
• Note on some fixed point constructions in provability logic
• scientific article; zbMATH DE number 4079379

Cited in

(7)

• scientific article; zbMATH DE number 35416 (Why is no real title available?)
• Definability and commonsense reasoning
• scientific article; zbMATH DE number 5029987 (Why is no real title available?)
• scientific article; zbMATH DE number 7112528 (Why is no real title available?)
• No escape from Vardanyan's theorem
• On non-self-referential fragments of modal logics
• Provability logics for natural Turing progressions of arithmetical theories

This page was built for publication: Quantified modal logic and self-reference

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