scientific article; zbMATH DE number 6863649

zbMath1400.03070MaRDI QIDQ4636039

Birgit Elbl

Publication date: 23 April 2018

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

zbMATH Keywords

proof theorycut-free sequent calculuslabelled deductionlogic of subset spacesdirect completeness proof

Mathematics Subject Classification ID

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

This page was built for publication: