Around provability logic

DOI10.1016/J.APAL.2009.05.013zbMATH Open1181.03058OpenAlexW2087237127MaRDI QIDQ1035652FDOQ1035652

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)

Cites Work

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

Cited In (6)

• Biological Perspectives Irreversible Lithium-Induced Neuropathy: Two Cases
• An Epistemic Logic with Hypotheses
• Title not available (Why is that?)
• Foreword to the special issue dedicated to the memory of Leo Esakia
• Title not available (Why is that?)
• Temporal logic of surjective bounded morphisms between finite linear processes

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)