scientific article; zbMATH DE number 589746

zbMath0799.03012MaRDI QIDQ4295880

Thierry Lucas

Publication date: 15 June 1994

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

zbMATH Keywords

modal logicsequent calculuspropositional modal system \(M\)

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

This page was built for publication: