バイザンチン分散システムにおける知識と通信の論理的分析

バイザンチン分散システムでは、正常なエージェントと不正なエージェントが混在するため、従来の知識モダリティでは不十分である。希望モダリティを導入することで、通信の情報的内容を適切に表現できる。