Publisher
Springer International Publishing
Reference65 articles.
1. Lecture Notes in Computer Science;G Aucher,2004
2. Aucher G (2008) Perspectives on belief and change. Ph.D. thesis, University of Otago - University of Toulouse.
3. Aucher G (2011) Del-sequents for progression. J Appl Non-class Logics 21(3–4):289–321
4. Aucher G (2012) Del-sequents for regression and epistemic planning. J Appl Non-class Logics 22(4):337–367
5. Aucher G (2013) Update logic. Research report RR-8341, INRIA.
http://hal.inria.fr/hal-00849856
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Relevant epistemic logic with public announcements and common knowledge;Journal of Logic and Computation;2023-01-30
2. Almost APAL;Journal of Logic and Computation;2022-03-11
3. Expressivity of Some Versions of APAL;Lecture Notes in Computer Science;2020
4. Displaying updates in logic;Journal of Logic and Computation;2016-03-02
5. Tracking Information;Outstanding Contributions to Logic;2016