scientific article; zbMATH DE number 1517022

DOI<link itemprop=identifier href="https://doi.org/10.1002/1098-111X(200009)15:9<811::AID-INT1>3.0.CO;2-B" /><811::AID-INT1>3.0.CO;2-B 10.1002/1098-111X(200009)15:9<811::AID-INT1>3.0.CO;2-BzbMath0954.03019MaRDI QIDQ4509295

Kwang Mong Sim

Publication date: 15 October 2000

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

decidabilityintelligent agentsimplicit beliefmodel-checking algorithmexplicit beliefmultivalued epistemic logic

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30)

Cites Work

• Belief, awareness, and limited reasoning
• Bilattices and the theory of truth
• A guide to completeness and complexity for modal logics of knowledge and belief
• Impossible possible worlds vindicated
• Bilattices and the semantics of logic programming
• Epistemic logic and logical omniscience: A survey
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: