ON MODAL LOGICS AXIOMATIZING PROVABILITY

DOI10.1070/IM1986V027N03ABEH001183zbMath0609.03005OpenAlexW2147401587MaRDI QIDQ3749039

Sergej N. 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

traceKripke modelsformal provabilityextensions of GLlogics of provabilitySolovay's logic of all true laws of provabilityclassification of arithmetically complete modal logics

Mathematics Subject Classification ID

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

Related Items (2)

On first-order theories with provability operator ⋮ The formalization of interpretability

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