scientific article; zbMATH DE number 589746

MaRDI QIDQ4295880zbMATH OpenFDO

Authors Thierry Lucas

Publication date 15 June 1994

zbMATH Keywords

modal logicpropositional modal system \(M\)sequent calculus

Mathematics Subject Classification ID

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

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4295880)