Publisher
Springer Berlin Heidelberg
Reference10 articles.
1. Barwise, J., Feferman, S. (eds.): Model-theoretic logics. Springer, Heidelberg (1985)
2. Börger, E., Grädel, E., Gurevich, Y.: The classical decision problem. Springer, Heidelberg (1997)
3. Doob, J.L.: Measure theory. Springer, Heidelberg (1994)
4. Jaeger, M.: A logic for inductive probabilistic reasoning. Synthese 144(2), 181–248 (2005)
5. Keisler, H.J.: Probability quantifiers. In: [1], pp. 509–556
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献