Nested sequents for provability logic GLP: FIG. 1.

DOI10.1093/JIGPAL/JZV029MaRDI QIDQ4644600zbMATH OpenOpenAlexFDO

Authors Daniyar Shamkanov

Publication date 8 January 2019

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/jigpal/jzv029

zbMATH Keywords

cut eliminationnested sequentsprovability logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Recommendations

• Nested sequents for intuitionistic logics
• Proof theory for indexed nested sequents
• Kripke semantics for provability logic GLP
• Proving completeness for nested sequent calculi
• Nested sequents for intermediate logics: the case of Gödel-Dummett logics
• Glivenko sequent classes in the light of structural proof theory
• Nested sequents for intuitionistic modal logics via structural refinement
• Proof search in nested sequent calculi
• scientific article; zbMATH DE number 6302922
• On nested sequents for constructive modal logics

Cited in

(6)

• A cut-free proof system for a predicate extension of the logic of provability
• On translating Lambek grammars with one division into context-free grammars
• scientific article; zbMATH DE number 6302922 (Why is no real title available?)
• Explicit Proofs in Formal Provability Logic
• scientific article; zbMATH DE number 3316015 (Why is no real title available?)
• Nested sequents or tree-hypersequents -- a survey

This page was built for publication: Nested sequents for provability logic GLP: FIG. 1.

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