Funder
European Research Council
Publisher
Springer Science and Business Media LLC
Subject
General Social Sciences,Philosophy
Reference56 articles.
1. Abramsky, S. (1987). Domain theory and the logic of observable properties. Ph.D. Thesis, University of London.
2. Abramsky, S. (1991). Domain theory in logical form. Annals of Pure and Applied Logic, 51(1), 1–77.
3. Balbiani, P., Baltag, A., van Ditmarsch, H., Herzig, A., Hoshi, T., & de Lima, T. (2008). Knowable as known after an announcement. The Review of Symbolic Logic, 1(3), 305–334.
4. Balbiani, P., & van Ditmarsch, H. (2015). A simple proof of the completeness of APAL. Studies in Logic, 8(1), 65–78.
5. Balbiani, P., van Ditmarsch, H., & Kudinov, A. (2013). Subset space logic with arbitrary announcements. In Proceedings of the 5th ICLA (pp. 233–244). Springer.
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献