Author:
van Benthem Johan,Bezhanishvili Nick,Enqvist Sebastian
Publisher
Springer Science and Business Media LLC
Reference26 articles.
1. van Benthem, J. (2001). Games in dynamic-epistemic logic. Bulletin of Economic Research, 53(4), 219–248.
2. van Benthem, J. (2014). Logic in games. Cambridge: MIT Press.
3. van Benthem, J., Bezhanishvili, N., Enqvist, S. (2017). A propositional dynamic logic for instantial neighbourhood semantics. ILLC Preprint PP-2018-1. To appear in Studia Logica.
4. van Benthem, J., Bezhanishvili, N., Enqvist, S., Yu, J. (2017). Instantial neighborhood logic. The Review of Symbolic Logic, 10(1), 116–144.
5. Bergstra, J.A., Ponse, A., Smolka, S.A. (2001). Handbook of process algebra. Amsterdam: Elsevier.
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献