Grafting hypersequents onto nested sequents

DOI10.1093/JIGPAL/JZW005zbMath1405.03092arXiv1502.00814OpenAlexW1765007146MaRDI QIDQ4644546

Björn Lellmann, Roman Kuznets

Publication date: 8 January 2019

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

Full work available at URL: https://arxiv.org/abs/1502.00814

zbMATH Keywords

complexitymodal logicdecision procedureshypersequentsnested sequentstableaus

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05) Structure of proofs (03F07) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items (5)

Compositional meaning in logic ⋮ Rooted hypersequent calculus for modal logic \textsf{S5} ⋮ Through an Inference Rule, Darkly ⋮ Multicomponent proof-theoretic method for proving interpolation properties ⋮ CUT ELIMINATION IN HYPERSEQUENT CALCULUS FOR SOME LOGICS OF LINEAR TIME

This page was built for publication: Grafting hypersequents onto nested sequents