scientific article; zbMATH DE number 1859179

MaRDI QIDQ4789155zbMATH OpenFDO

Authors Mikhail Rybakov

Publication date 17 June 2003

zbMATH Keywords

logics of knowledgeembedding into classical predicate logicoperator of common knowledgeoperator of distributed knowledge

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Undecidability and degrees of sets of sentences (03D35)

Recommendations

• On the degrees of unsolvability of modal predicate logics of provability
• AI 2003: Advances in Artificial Intelligence
• Undecidability of the Logic of Partial Quasiary Predicates
• Undecidability of propositional separation logic and its neighbours
• Undecidable properties of extensions of the logic of provability
• On the decidability and complexity of reasoning about only knowing
• Decidable and enumerable predicate logics of provability
• Undecidability of modal logics of unary predicate
• Knowledge, Uncertainty and Ignorance in Logic: Bilattices and beyond
• Decidability of logic of correlated knowledge

Cited in

(5)

• scientific article; zbMATH DE number 1759387 (Why is no real title available?)
• Degrees of Truth, Ill-Known Sets and Contradiction
• AI 2003: Advances in Artificial Intelligence
• Undecidability of the Logic of Partial Quasiary Predicates
• scientific article; zbMATH DE number 7307086 (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 Q4789155)