scientific article; zbMATH DE number 3845548

MaRDI QIDQ3315480zbMATH OpenFDO

Authors Grazyna Mirkowska

Publication date 1983

zbMATH Keywords

modal logicKripke semanticsalgorithmic logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 4057487
• scientific article; zbMATH DE number 3938517
• Multimodal logic programming using equational and order-sorted logic
• Constructive modal logics. I
• scientific article; zbMATH DE number 67039

Cited in

(5)

• A many-sorted polyadic modal logic
• UNDER LOCK AND KEY: A PROOF SYSTEM FOR A MULTIMODAL LOGIC
• scientific article; zbMATH DE number 3938529 (Why is no real title available?)
• scientific article; zbMATH DE number 3968564 (Why is no real title available?)
• scientific article; zbMATH DE number 2144768 (Why is no real title available?)

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 Q3315480)