On structural proof theory of the modal logic K^+ extended with infinitary derivations

DOI10.1093/JIGPAL/JZAE121MaRDI QIDQ6922546zbMATH OpenFDO

Authors Daniyar Shamkanov

Publication date 30 September 2025

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

Full work available at URL https://doi.org/10.1093/JIGPAL/JZAE121

zbMATH Keywords

continuous cut eliminationinfinitary derivationsnon-well-founded proofstransitive closure

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05)

Cites work

• A Fixed Point Theorem in Non-Archimedean Vector Spaces
• An introduction to metric semantics: Operational and denotational models for programming and specification languages
• Bouncing threads for circular and non-wellfounded proofs. Towards compositionality with circular proofs
• Circular proofs for the Gödel-Löb provability logic
• Completeness proof by semantic diagrams for transitive closure of accessibility relation
• Constructive completeness for modal logic with transitive closure
• Denotational semantics in the cpo and metric approach
• Games for the -calculus
• Grundbegriffe der Mengenlehre.
• scientific article; zbMATH DE number 6680140 (Why is no real title available?)
• scientific article; zbMATH DE number 5898613 (Why is no real title available?)
• scientific article; zbMATH DE number 2003155 (Why is no real title available?)
• scientific article; zbMATH DE number 2020242 (Why is no real title available?)
• scientific article; zbMATH DE number 7155168 (Why is no real title available?)
• Infinitary proof theory: the multiplicative additive case
• MacNeille Completion and Buchholz' Omega Rule for Parameter-Free Second Order Logics
• Modal logics with transitive closure: completeness, decidability, filtration
• NON-WELL-FOUNDED PROOFS FOR THE GRZEGORCZYK MODAL LOGIC
• On algebraic and topological semantics of the modal logic of common knowledge \(\mathsf{S4}^C_I\)
• On the proof theory of the modal mu-calculus
• Reasoning in circles
• Results on the propositional \(\mu\)-calculus
• The Banach fixed point theorem for ultrametric spaces
• The proof theory of common knowledge
• Two ways to common knowledge

Cited in

(1)

• Fragments of arithmetic and cyclic proofs

This page was built for publication: On structural proof theory of the modal logic \(\mathsf{K}^+\) extended with infinitary derivations

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