S5-style non-standard modalities in a hypersequent framework

DOI10.12775/llp.2021.020zbMath1530.03084MaRDI QIDQ6484824

Yaroslav I. Petrukhin

Publication date: 21 September 2022

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

zbMATH Keywords

modal logiccut eliminationproof theoryhypersequent calculuscontingency logicaccident logicessence logic

Mathematics Subject Classification ID

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

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