zbMATH — the first resource for mathematics

Logic KM: a biography. (English) Zbl 1350.03015
Bezhanishvili, Guram (ed.), Leo Esakia on duality in modal and intuitionistic logics. Dordrecht: Springer (ISBN 978-94-017-8859-5/hbk; 978-94-017-8860-1/ebook). Outstanding Contributions to Logic 4, 155-185 (2014).
Summary: This chapter is an attempt to collect under one roof all currently available facts related to logic \({\mathbf{KM }}\). Discovered as an equational class of the corresponding algebras, it has been developed as a natural intuitionistic counterpart of provability logic \(\mathbf{GL}\). We also outline the background, the work of thought, which had preceded and eventually had led to the birth of \({\mathbf{KM }}\). Where the results are new, the proofs are provided. Sometimes we derive conclusions, if they can be easily obtained from key results.
For the entire collection see [Zbl 1291.03006].

03B20 Subsystems of classical logic (including intuitionistic logic)
03B45 Modal logic (including the logic of norms)
03F45 Provability logics and related algebras (e.g., diagonalizable algebras)
03G25 Other algebras related to logic
Full Text: DOI