Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief-Reference-Cited by-同舟云学术

Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief

Published:2016-03-04 Issue:7 Volume:194 Page:2447-2487
ISSN:0039-7857
Container-title:Synthese
language:en
Short-container-title:Synthese

Author:

Andersen Mikkel Birkegaard,Bolander Thomas^ORCID,van Ditmarsch Hans,Jensen Martin Holm

Funder

European Research Council

Publisher

Springer Science and Business Media LLC

Subject

General Social Sciences,Philosophy

Link

http://link.springer.com/article/10.1007/s11229-016-1060-x/fulltext.html

Reference41 articles.

1. Andersen, M. B., Bolander, T., & Jensen, M.H. (2012). Conditional epistemic planning. In Proceedings of 13th JELIA, LNCS 7519 (pp. 94–106). Springer.

2. Andersen, M. B. (2015). Towards theory-of-mind agents using automated planning and dynamic epistemic logic. PhD thesis, Technical University of Denmark.

3. Andersen, M. B., Bolander, T., & Jensen, M. H. (2015). Don’t plan for the unexpected: Planning based on plausibility models. Logique et Analyse. To Appear.

4. Andersen, Mikkel Birkegaard, Bolander, Thomas, van Ditmarsch, Hans P., & Jensen, Martin Holm. (2013). Bisimulation for single-agent plausibility models. In Stephen Cranefield & Abhaya Nayak (Eds.), Australasian conference on artificial intelligence, volume 8272 of Lecture Notes in Computer Science (pp. 277–288). New York: Springer.

5. Aucher, G. (2005). A combined system for update logic and belief revision. In Proceedings of 7th PRIMA (pp. 1–17). Springer, LNAI 3371.

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Bringing Belief Base Change into Dynamic Epistemic Logic;Lecture Notes in Computer Science;2020

2. DYNAMIC GRADED EPISTEMIC LOGIC;The Review of Symbolic Logic;2019-07-12

3. Bisimulation for Conditional Modalities;Studia Logica;2017-05-11