Author:
Aucher Guillaume,Herzig Andreas
Reference34 articles.
1. Alchourrón C, Gärdenfors P, Makinson D (1985) On the logic of theory change: Partial meet contraction and revision functions. Journal of Symbolic Logic 50:510–530
2. Aucher G (2009) BMS revisited. In: Proceedings of Theoretical Aspects of Rationality and Knowledge (TARK 2009), pp 24–33
3. Aucher G (2010) Characterizing updates in dynamic epistemic logic. In: Proceedings of the twelfth International Conference on the Principles of Knowledge Representation and Reasoning (KR 2010), Toronto, Canada, to appear
4. Aucher G, Herzig A (2007) From DEL to EDL: exploring the power of converse events. In: Mellouli K (ed) Proceedings of the 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2007), Springer Verlag, LNCS, vol 4724, pp 199–209
5. Baltag A (2000) A logic of epistemic actions. Tech. Rep., CWI,
http://www.cwi.nl/abaltag/papers.html
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. On Inverse Operators in Dynamic Epistemic Logic;Logical Foundations of Computer Science;2021-12-16
2. Opaque Updates;Journal of Philosophical Logic;2020-09-08
3. Dynamic epistemic logic in update logic;Journal of Logic and Computation;2016-03-07
4. Automata Techniques for Epistemic Protocol Synthesis;Electronic Proceedings in Theoretical Computer Science;2014-04-01
5. Dynamic Epistemic Logic as a Substructural Logic;Outstanding Contributions to Logic;2014