Author:
Aucher Guillaume,Maubert Bastien,Schwarzentruber François
Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. Aucher, G.: An internal version of epistemic logic. Studia Logica 94(1), 1–22 (2010)
2. Aucher, G.: DEL-sequents for regression and epistemic planning. Journal of Applied Non-Classical Logics (to appear, 2012)
3. Aucher, G., Maubert, B., Schwarzentruber, F.: Tableau method and NEXPTIME-completeness of DEL-sequents. Electronic Notes in Theoretical Computer Science 278, 17–30 (2011)
4. Balbiani, P., van Ditmarsch, H., Herzig, A., de Lima, T.: Tableaux for public announcement logic. Journal of Logic and Computation 20(1), 55–76 (2010)
5. Baltag, A., Coecke, B., Sadrzadeh, M.: Algebra and sequent calculus for epistemic actions. In: Proceedings of Workshop on Logic and Communication in Multi-Agent Systems (LCMAS 2004), pp. 60–78 (2004)
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献