Quantified modal logic and self-reference

DOI10.1305/NDJFL/1093637556zbMATH Open0635.03014OpenAlexW2006816077MaRDI QIDQ1097256FDOQ1097256

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

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

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)

Cited In (7)

• Title not available (Why is that?)
• Definability and commonsense reasoning
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)