The analytical completeness of Dzhaparidze's polymodal logics

DOI10.1016/0168-0072(93)90200-WMaRDI QIDQ685073zbMATHWikidataFDO

Authors George Boolos

Publication date 22 September 1993

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

zbMATH Keywords

completenessprovability logicbimodal propositional system GLP

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Second- and higher-order arithmetic and fragments (03F35)

Recommendations

• A Finitary Treatment of the Closed Fragment of Japaridze's Provability Logic
• Kripke semantics for provability logic GLP
• On provability logics with linearly ordered modalities
• scientific article; zbMATH DE number 5862929
• scientific article; zbMATH DE number 4099258

Cites work

• scientific article; zbMATH DE number 47306 (Why is no real title available?)
• scientific article; zbMATH DE number 1176133 (Why is no real title available?)
• scientific article; zbMATH DE number 4195937 (Why is no real title available?)
• scientific article; zbMATH DE number 3291134 (Why is no real title available?)
• Elementary induction on abstract structures
• On the proof of Solovay's theorem
• Provability interpretations of modal logic

Cited in

(4)

• A many-sorted variant of Japaridze's polymodal provability logic
• Topological interpretations of provability logic
• Bimodal logics for extensions of arithmetical theories
• The omega-rule interpretation of transfinite provability logic

This page was built for publication: The analytical completeness of Dzhaparidze's polymodal logics

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