Around provability logic

DOI10.1016/J.APAL.2009.05.013MaRDI QIDQ1035652zbMATH OpenOpenAlexFDO

Authors Leo Esakia

Publication date 4 November 2009

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.apal.2009.05.013

zbMATH Keywords

modal logicdistortionprovability logicderivative operatordiagonalizable algebra

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25)

Recommendations

• scientific article; zbMATH DE number 4204315
• scientific article; zbMATH DE number 915329
• A topological interpretation of provability predicate in Peano arithmetic and Zermelo-Fraenkel set theory
• scientific article; zbMATH DE number 1215499
• scientific article; zbMATH DE number 515725

Cites work

• scientific article; zbMATH DE number 3968648 (Why is no real title available?)
• scientific article; zbMATH DE number 3652414 (Why is no real title available?)
• scientific article; zbMATH DE number 3463628 (Why is no real title available?)
• scientific article; zbMATH DE number 3485746 (Why is no real title available?)
• scientific article; zbMATH DE number 1170091 (Why is no real title available?)
• scientific article; zbMATH DE number 3234211 (Why is no real title available?)
• scientific article; zbMATH DE number 3096290 (Why is no real title available?)
• A problem of set-theoretic topology
• Cut-free tableau calculi for some propositional normal modal logics
• Intuitionistic logic and modality via topology
• On systems of modal logic with provability interpretations
• Provability interpretations of modal logic
• Scattered, Hausdorff-reducible, and hereditarily irresolvable spaces.
• The algebra of topology
• The modalized Heyting calculus: a conservative modal extension of the intuitionistic logic
• The relation of A to Prov ˹A˺ in the Lindenbaum sentence algebra

Cited in

(7)

• A topological interpretation of provability predicate in Peano arithmetic and Zermelo-Fraenkel set theory
• Biological Perspectives Irreversible Lithium-Induced Neuropathy: Two Cases
• scientific article; zbMATH DE number 2020141 (Why is no real title available?)
• Foreword to the special issue dedicated to the memory of Leo Esakia
• scientific article; zbMATH DE number 5037198 (Why is no real title available?)
• Temporal logic of surjective bounded morphisms between finite linear processes
• An epistemic logic with hypotheses

This page was built for publication: Around provability logic

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