zbMath0495.03012MaRDI QIDQ3958435
Silvio Valentini
Publication date: 1982
Mathematics Subject Classification ID
03B45: Modal logic (including the logic of norms)
03F05: Cut-elimination and normal-form theorems
Related Items