Eliminability of cut in hypersequent calculi for some modal logics of linear frames

DOI10.1016/j.ipl.2014.07.002zbMath1352.03064OpenAlexW2043677412MaRDI QIDQ477584

Andrzej Indrzejczak

Publication date: 9 December 2014

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ipl.2014.07.002

zbMATH Keywords

modal logiccut eliminationhypersequent calculus

Mathematics Subject Classification ID

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

Related Items (11)

Hypersequent rules with restricted contexts for propositional modal logics ⋮ LINEAR TIME IN HYPERSEQUENT FRAMEWORK ⋮ Glivenko sequent classes and constructive cut elimination in geometric logics ⋮ A novel approach to equality ⋮ Cut Elimination Theorem for Non-Commutative Hypersequent Calculus ⋮ Hypersequent Calculi for S5: The Methods of Cut Elimination ⋮ Free logics are cut-free ⋮ Fregean Description Theory in Proof-Theoretical Setting ⋮ CUT ELIMINATION IN HYPERSEQUENT CALCULUS FOR SOME LOGICS OF LINEAR TIME ⋮ On a multilattice analogue of a hypersequent S5 calculus ⋮ Free Definite Description Theory – Sequent Calculi and Cut Elimination

Uses Software

• Pesca

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Natural deduction, hybrid systems and modal logics
• Proof analysis in intermediate logics
• Gentzen calculi for modal propositional logic
• Hypersequents, logical consequence and intermediate logics for concurrency
• Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions
• A CUT-FREE SIMPLE SEQUENT CALCULUS FOR MODAL LOGIC S5
• A constructive analysis of RM
• Hypersequent Calculi for Godel Logics -- a Survey
• From Frame Properties to Hypersequent Rules in Modal Logics

This page was built for publication: Eliminability of cut in hypersequent calculi for some modal logics of linear frames