ON MODAL LOGICS AXIOMATIZING PROVABILITY

DOI10.1070/IM1986V027N03ABEH001183MaRDI QIDQ3749039zbMATH OpenOpenAlexFDO

Authors Sergei Artemov

Publication date 1986

Published in Mathematics of the USSR-Izvestiya (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1070/im1986v027n03abeh001183

zbMATH Keywords

classification of arithmetically complete modal logicsextensions of GLformal provabilityKripke modelslogics of provabilitySolovay's logic of all true laws of provabilitytrace

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Modal logic (including the logic of norms) (03B45) Structure of proofs (03F07) First-order arithmetic and fragments (03F30) Metamathematics of constructive systems (03F50)

Cited in

(13)

• The formalization of interpretability
• On bimodal logics of provability
• On interactive proof-search for constructive modal necessity
• Rosser provability and normal modal logics
• scientific article; zbMATH DE number 5295726 (Why is no real title available?)
• scientific article; zbMATH DE number 3918335 (Why is no real title available?)
• scientific article; zbMATH DE number 3924750 (Why is no real title available?)
• scientific article; zbMATH DE number 3976995 (Why is no real title available?)
• On first-order theories with provability operator
• scientific article; zbMATH DE number 6863647 (Why is no real title available?)
• scientific article; zbMATH DE number 2149469 (Why is no real title available?)
• scientific article; zbMATH DE number 6769390 (Why is no real title available?)
• On some proof theoretical properties of the modal logic GL

This page was built for publication: ON MODAL LOGICS AXIOMATIZING PROVABILITY

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