Author:
Fischer Michael J.,Immerman Neil
Subject
Computer Science Applications,Information Systems,Signal Processing,Theoretical Computer Science
Reference9 articles.
1. Decision procedures and expressiveness in the temporal logic of brancing time;Emerson;J. Comput. System Sci.,1985
2. Foundations of knowledge for distributed systems;Fischer,1985
3. Proc. Conf. on Theoretical Aspects of Reasoning About Knowledge;Fischer,1986
4. Propositional dynamic logic of regular programs;Fischer;J. Comput. System Sci.,1979
5. Knowledge and common knowledge in a distributed environment;Halpern,1984
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Reasoning about types of action and agent capabilities;Logic Journal of IGPL;2012-11-28
2. A Reduction from DLP to PDL;Journal of Logic and Computation;2005-10-01
3. Bibliography;Many-Dimensional Modal Logics - Theory and Applications;2003
4. The Wakeup Problem;SIAM Journal on Computing;1996-12
5. The complexity of propositional modal theories and the complexity of consistency of propositional modal theories;Logical Foundations of Computer Science;1994