The analytical completeness of Dzhaparidze's polymodal logics

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

Authors George Boolos

Publication date 22 September 1993

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

Full work available at URL https://doi.org/10.1016/0168-0072(93)90200-W

zbMATH Keywords

bimodal propositional system GLPcompletenessprovability logic

Mathematics Subject Classification ID

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

Review text

The bimodal propositional system GLP introduced by G. Dzhaparidze in 1985 has \(\square (A\to B)\to (\square A\to \square B)\), \(\boxdot (A\to B)\to (\boxdot A\to \boxdot B)\), \(\square(\square A\to A)\to \square A\), \(\boxdot(\boxdot A\to A)\to \boxdot A\), \(\square A\to \boxdot A\), \(\neg\square A\to \boxdot\neg\square A\), and all classical tautologies as its axioms. Inference rules are modus ponens and \(\square\)-necessitation \(A/\square A\). Dzhaparidze proved arithmetical completeness of GLP with respect to reading \(\square\) and \(\boxdot\) as `is provable' and `has an \(\omega\)-inconsistent negation'. The author proves completeness of GLP with respect to reading \(\square\) and \(\boxdot\) as `is provable in second-order arithmetic' and `is provable in second-order arithmetic with \(\omega\)-rule'.

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

• Elementary induction on abstract structures
• 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?)
• On the proof of Solovay's theorem
• Provability interpretations of modal logic

Cited in

(4)

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