Author:
Zhou Chunlai,Ying Mingsheng
Subject
General Computer Science,Theoretical Computer Science
Reference46 articles.
1. Game refinement relations and metrics;de Alfaro;Log. Methods Comput. Sci.,2008
2. Categories, Types and Structures. Foundation of Computing;Asperti,1991
3. Interactive epistemology: probability;Aumann;Internat. J. Game Theory,1999
4. Incomplete information;Aumann,2002
5. Model-checking continous-time markov chains;Aziz;ACM Trans. Comput. Log.,2000
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Probability logic: A model-theoretic perspective;Journal of Logic and Computation;2020-12-16
2. Probability Logic for Harsanyi Type Spaces;Logical Methods in Computer Science;2014-06-24
3. A modal characterization of alternating approximate bisimilarity;Formal Methods in System Design;2013-12-05
4. Approximating Bisimilarity for Markov Processes;Electronic Notes in Theoretical Computer Science;2013-11
5. Strong Completeness for Markovian Logics;Mathematical Foundations of Computer Science 2013;2013