Publisher
Springer International Publishing
Reference23 articles.
1. Balbiani, P., Ditmarsch, H., Herzig, A., de Lima, T.: Tableaux for public announcement logic. J. Logic Comput. 20(1), 55–76 (2008)
2. Bezhanishvili, N., de Jongh, D.: Intuitionistic logic. Technical report PP-2006-25, Institute for Logic, Language and Computation Universiteit van Amsterdam (2006)
3. Bródka, P., Skibicki, K., Kazienko, P., Musiał, K.: A degree centrality in multi-layered social network. In: International Conference on Computational Aspects of Social Networks (2011)
4. Collinson, M., Monahan, B., Pym, D.: A Discipline of Mathematical Systems Modelling. College Publications, London (2012)
5. Collinson, M., Pym, D.: Algebra and logic for resource-based systems modelling. Math. Struct. Comput. Sci. 19(5), 959–1027 (2009)
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献