Author:
Baston Colm,Capretta Venanzio
Publisher
Springer International Publishing
Reference17 articles.
1. Barwise, J.: Three views of common knowledge. In: Vardi, M.Y. (ed.) Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning about Knowledge, Pacific Grove, CA, March 1988, pp. 365–379. Morgan Kaufmann (1988)
2. Bertot, Y., Castéran, P.: Interactive Theorem Proving and Program Development. Coq’Art: The Calculus of Inductive Constructions. Springer, Heidelberg (2004).
https://doi.org/10.1007/978-3-662-07964-5
3. Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press, New York (2001)
4. Bucheli, S., Kuznets, R., Struder, T.: Two ways to common knowledge. Electron. Notes Theor. Comput. Sci. 262, 83–98 (2010)
5. Capretta, V.: General recursion via coinductive types. Log. Methods Comput. Sci. 1(2), 1–18 (2005).
https://doi.org/10.2168/LMCS-1(2:1)2005
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Semirings of Evidence;Journal of Logic and Computation;2021-02-24
2. Semirings of Evidence;Lecture Notes in Computer Science;2020