scientific article; zbMATH DE number 1859179

zbMATH Open1012.03026MaRDI QIDQ4789155FDOQ4789155

Authors: Mikhail Rybakov 

Publication date: 17 June 2003

Title of this publication is not available (Why is that?)

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

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)

Cited In (5)

• Degrees of Truth, Ill-Known Sets and Contradiction
• AI 2003: Advances in Artificial Intelligence
• Undecidability of the Logic of Partial Quasiary Predicates
• Title not available (Why is that?)
• Title not available (Why is that?)

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)