The analytical completeness of Dzhaparidze's polymodal logics

DOI10.1016/0168-0072(93)90200-WzbMATH Open0783.03006WikidataQ126769904 ScholiaQ126769904MaRDI QIDQ685073FDOQ685073

Authors: George Boolos 

Publication date: 22 September 1993

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

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
• scientific article; zbMATH DE number 4099258

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)

Cites Work

• Elementary induction on abstract structures
• Title not available (Why is that?)
• Provability interpretations of modal logic
• On the proof of Solovay's theorem
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (4)

• Bimodal logics for extensions of arithmetical theories
• Topological interpretations of provability logic
• The omega-rule interpretation of transfinite provability logic
• A many-sorted variant of Japaridze's polymodal 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)