The analytical completeness of Dzhaparidze's polymodal logics

DOI10.1016/0168-0072(93)90200-WzbMath0783.03006WikidataQ126769904 ScholiaQ126769904MaRDI QIDQ685073

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)

Related Items (3)

The omega-rule interpretation of transfinite provability logic ⋮ Bimodal logics for extensions of arithmetical theories ⋮ Topological Interpretations of Provability Logic

Cites Work

• On the proof of Solovay's theorem
• Elementary induction on abstract structures
• Provability interpretations of modal logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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