S5-style non-standard modalities in a hypersequent framework

DOI10.12775/LLP.2021.020MaRDI QIDQ6484824zbMATH OpenFDO

Authors Yaroslav I. Petrukhin

Publication date 21 September 2022

Published in Logic and Logical Philosophy (Search for Journal in Brave)

Full work available at URL https://doi.org/10.12775/LLP.2021.020

zbMATH Keywords

accident logiccontingency logiccut eliminationessence logichypersequent calculusmodal logicproof theory

Mathematics Subject Classification ID

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

Recommendations

• Hypersequent calculi for S5: the methods of cut elimination
• Rooted hypersequent calculus for modal logic \textsf{S5}
• scientific article; zbMATH DE number 5263148
• Cut-free completeness for modular hypersequent calculi for modal logics K, T, and D
• A cut-free simple sequent calculus for modal logic S5

Cited in

(2)

• Rooted hypersequent calculus for modal logic \textsf{S5}
• Nested sequent calculi for some modal logics with non-standard modalities

This page was built for publication: S5-style non-standard modalities in a hypersequent framework

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