On systems of modal logic with provability interpretations

DOI10.1111/J.1755-2567.1980.TB00686.XzbMath0473.03010OpenAlexW2038674318MaRDI QIDQ3927210

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

Peano arithmeticinterpolation theoremaxiomatizationsmodal logic Guniversally provable provability schema of PA

Mathematics Subject Classification ID

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

Related Items (14)

Maximality in modal logic ⋮ Algebraic semantics for modal and superintuitionistic non-monotonic logics ⋮ Projective Beth property in extensions of Grzegorczyk logic ⋮ The Lyndon property and uniform interpolation over the Grzegorczyk 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 ⋮ Around provability logic ⋮ Uniform Lyndon interpolation property in propositional modal logics ⋮ On the Blok-Esakia Theorem ⋮ Modal tableau calculi and interpolation ⋮ Undecidable properties of extensions of provability logic. II ⋮ MONADIC INTUITIONISTIC AND MODAL LOGICS ADMITTING PROVABILITY INTERPRETATIONS

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