scientific article; zbMATH DE number 3841820

MaRDI QIDQ3312200zbMATH OpenFDO

Authors A. P. Akimov

Publication date 1982

zbMATH Keywords

intuitionistic modal logictheorem-proving algorithm

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Modal logic (including the logic of norms) (03B45) Intermediate logics (03B55)

Recommendations

• Constructive modal logics. I
• scientific article; zbMATH DE number 1140579
• On nested sequents for constructive modal logics
• Modular sequent calculi for classical modal logics
• Logical connectives for constructive modal logic

Cited in

(6)

• Modal Operators over Constructive Logic
• scientific article; zbMATH DE number 1140579 (Why is no real title available?)
• scientific article; zbMATH DE number 4118367 (Why is no real title available?)
• Constructive description logics hybrid-style
• Wijesekera-style constructive modal logics
• Constructive modal logics. I

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