scientific article; zbMATH DE number 1517022
From MaRDI portal
Publication:4509295
DOI<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
Publication date: 15 October 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
decidabilityintelligent agentsimplicit beliefmodel-checking algorithmexplicit beliefmultivalued epistemic logic
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- 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
This page was built for publication: