scientific article; zbMATH DE number 1778906

MaRDI QIDQ4544189zbMATH OpenFDO

Authors M. N. Bezhanishvili

Publication date 27 October 2002

zbMATH Keywords

beliefbimodal logiccompletenessknowledge

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Modal logic (including the logic of norms) (03B45)

Recommendations

• scientific article; zbMATH DE number 1950263
• scientific article; zbMATH DE number 589687
• scientific article; zbMATH DE number 218547
• Systems for Knowledge and Belief
• Knowledge means `all', belief means `most'

Cited in

(5)

• Reductive techniques in proofs of the completeness theorems for the normal bimodal systems
• A note on assumption-completeness in modal logic
• Basic Propositional Calculus I
• scientific article; zbMATH DE number 1950263 (Why is no real title available?)
• A completeness proof for a logic with an alternative necessity operator

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