scientific article; zbMATH DE number 7084825

zbMath1418.03066MaRDI QIDQ5224559

David Baelde, Anthony Lick, Sylvain Schmitz

Publication date: 24 July 2019

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

clustersproof systemsmodal logicshypersequents

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Proof theory in general (including proof-theoretic semantics) (03F03) Complexity of proofs (03F20)

Related Items

CUT ELIMINATION IN HYPERSEQUENT CALCULUS FOR SOME LOGICS OF LINEAR TIME