A formal model of knowledge, action, and communication in distributed systems: preliminary report
作者： Joseph Y. Halpern , Ronald Fagin
关键词:
摘要:
acm.org
sci-hub.se 参考文章(17)
Raymond Smullyan, P. H. Ransom, What is the name of this book ,(1978)
Jürgen Schmidt-Radefeldt, Günter Todt, The logic of questions and answers Journal of Pragmatics. ,vol. 5, pp. 95- 102 ,(1981) , 10.1016/0378-2166(81)90053-9
Hector Joseph Levesque, A formal treatment of incomplete knowledge bases ,(1982)
Robert C. Moore, Reasoning about knowledge and action international joint conference on artificial intelligence. pp. 223- 227 ,(1977) , 10.1016/B978-0-934613-03-3.50037-4
Cynthia Dwork, Bounds on fundamental problems in parallel and distributed computation Cornell University. ,(1983)
Rohit Parikh, R. Ramanujam, Distributed Processes and the Logic of Knowledge Proceedings of the Conference on Logic of Programs. pp. 256- 268 ,(1985) , 10.1007/3-540-15648-8_21
Daniel Lehmann, Knowledge, common knowledge and related puzzles (Extended Summary) principles of distributed computing. pp. 62- 67 ,(1984) , 10.1145/800222.806736
Danny Dolev, Joe Halpern, H. Raymond Strong, On the possibility and impossibility of achieving clock synchronization symposium on the theory of computing. pp. 504- 511 ,(1984) , 10.1145/800057.808720
Masahiko Sato, A study of Kripke-type models for some modal logics by Gentzen's sequential method Publications of the Research Institute for Mathematical Sciences. ,vol. 13, pp. 381- 468 ,(1977) , 10.2977/PRIMS/1195189814
Yoram Moses, Danny Dolev, Joseph Y. Halpern, Cheating husbands and other stories (preliminary version): a case study of knowledge, action, and communication principles of distributed computing. pp. 215- 223 ,(1985) , 10.1145/323596.323616