scientific article; zbMATH DE number 6851095
From MaRDI portal
Publication:4608343
DOI10.2143/LEA.239.0.3237159zbMath1417.03289MaRDI QIDQ4608343
Pablo Cobreros, Luca Tranchini
Publication date: 16 March 2018
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
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:
