Around provability logic

DOI10.1016/j.apal.2009.05.013zbMath1181.03058OpenAlexW2087237127MaRDI QIDQ1035652

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 logicdiagonalizable algebraderivative operator

Mathematics Subject Classification ID

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

Related Items (3)

Temporal logic of surjective bounded morphisms between finite linear processes ⋮ Foreword to the special issue dedicated to the memory of Leo Esakia ⋮ An Epistemic Logic with Hypotheses

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Intuitionistic logic and modality via topology
• Provability interpretations of modal logic
• Scattered, Hausdorff-reducible, and hereditarily irresolvable spaces.
• Cut-free tableau calculi for some propositional normal modal logics
• The algebra of topology
• A problem of set-theoretic topology
• The modalized Heyting calculus: a conservative modal extension of the Intuitionistic Logic ★
• On systems of modal logic with provability interpretations
• The relation of A to Prov ˹A˺ in the Lindenbaum sentence algebra

This page was built for publication: Around provability logic