scientific article; zbMATH DE number 591209

zbMath0813.03013MaRDI QIDQ4296507

Silvio Valentini

Publication date: 19 June 1994

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

zbMATH Keywords

decidabilitydeontic logicfinite model propertycut-eliminationinterpolation lemmaGentzen methodmodal logic \(D\)

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05)

Related Items (2)

Self-referential justifications in epistemic logic ⋮ Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics

This page was built for publication: