Publisher
Springer International Publishing
Reference35 articles.
1. Ågotnes, T., Alechina, N.: A logic for reasoning about knowledge of unawareness. J. Logic Lang. Inform. 23(2), 197–217 (2014)
2. Alur, R., Henzinger, T.A., Kupferman, O.: Alternating-time temporal logic. J. ACM 49, 672–713 (2002)
3. Baltag, A., Moss, L., Solecki, S.: The logic of public announcements, common knowledge, and private suspicions. In: Proceedings of 7th TARK, pp. 43–56. Morgan Kaufmann (1998)
4. van Benthem, J., Gerbrandy, J., Hoshi, T., Pacuit, E.: Merging frameworks for interaction. J. Philos. Log. 38, 491–526 (2009)
5. Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press, Cambridge (2001)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Impure Simplicial Complexes: Complete Axiomatization;Logical Methods in Computer Science;2023-10-18
2. Communication Pattern Logic: Epistemic and Topological Views;Journal of Philosophical Logic;2023-07-28
3. Semi-Simplicial Set Models for Distributed Knowledge;2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2023-06-26