Publisher
Springer International Publishing
Reference23 articles.
1. Aumann, R.J.: Interactive epistemology II: Probability. Int. J. Game Theory 28, 301–314 (1999)
2. Barwise, J.: Admissible Sets and Structures. Springer, Berlin (1975)
3. Chang, C.C., Keisler, H.J.: Model Theory, 2nd edn. North-Holland, Amsterdam (1977)
4. Friggens, D., Goldblatt, R.: A modal proof theory for final polynomial coalgebras. Theor. Comput. Sci. 360, 1–22 (2006)
5. Lecture Notes in Computer Science;R. Goldblatt,1982
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Concurrent weighted logic;Journal of Logical and Algebraic Methods in Programming;2015-11