Publisher
Springer Nature Switzerland
Reference18 articles.
1. Ågotnes, T., Balbiani, P., van Ditmarsch, H., Seban, P.: Group announcement logic. J. Appl. Logic 8(1), 62–81 (2010)
2. Balbiani, P., Baltag, A., van Ditmarsch, H., Herzig, A., Hoshi, T., de Lima, T.: Knowable’ as ‘known after an announcement. Rev. Symbol. Logic 1(3), 305–334 (2008)
3. Blackburn, P., De Rijke, M., Venema, Y.: Modal Logic, Cambridge Tracts in Theoretical Computer Science, vol. 53. Cambridge University Press, Cambridge (2001)
4. Chen, C.C., Lin, I.P.: The computational complexity of the satisfiability of modal Horn clauses for modal propositional logics. Theor. Comput. Sci. 129, 95–121 (1994)
5. Chen, S., Ma, B., Zhang, K.: On the similarity metric and the distance metric. Theor. Comput. Sci. 410(24–25), 2365–2376 (2009)