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

• Analytic tableau systems for propositional bimodal logics of knowledge and belief
• 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
• Analytic tableau systems for propositional bimodal logics of knowledge and belief
• 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)