Publication:5203717
From MaRDI portal
zbMath0725.68097MaRDI QIDQ5203717
Publication date: 1988
distributed computing; common knowledge; belief; resource-bounded knowledge; resource-bounded processors
03B45: Modal logic (including the logic of norms)
68T30: Knowledge representation
68W10: Parallel algorithms in computer science
Related Items
Logical omniscience as infeasibility, A guide to completeness and complexity for modal logics of knowledge and belief, Modelling knowledge and action in distributed systems, Belief as defeasible knowledge, Algorithmic rationality: game theory with costly computation, Justification Logic