On systems of modal logic with provability interpretations

DOI10.1111/J.1755-2567.1980.TB00686.XMaRDI QIDQ3927210zbMATH OpenOpenAlexFDO

Authors George Boolos

Publication date 1981

Published in Theoria (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1111/j.1755-2567.1980.tb00686.x

zbMATH Keywords

axiomatizationsinterpolation theoremmodal logic GPeano arithmeticuniversally provable provability schema of PA

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Cited in

(14)

• Around provability logic
• Maximality in modal logic
• Amalgamation and interpolation in normal modal logics
• Modal companions of intermediate propositional logics
• Provability logic without Craig's interpolation property
• Varieties of logical matrices
• Projective Beth property in extensions of Grzegorczyk logic
• Algebraic semantics for modal and superintuitionistic non-monotonic logics
• The Lyndon property and uniform interpolation over the Grzegorczyk logic
• On the Blok-Esakia theorem
• MONADIC INTUITIONISTIC AND MODAL LOGICS ADMITTING PROVABILITY INTERPRETATIONS
• Uniform Lyndon interpolation property in propositional modal logics
• Modal tableau calculi and interpolation
• Undecidable properties of extensions of provability logic. II

This page was built for publication: On systems of modal logic with provability interpretations

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