Logics for Epistemic Programs

By Alexandru Baltag, Larry Moss. Synthese, 2004

420 citations recorded by the source corpus.

Subfields: Artificial Intelligence

View Paper: https://www.semanticscholar.org/paper/386a889d56b480d91a29ad373460db6bbd449feb

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Artificial Intelligence

1. J. Benthem
2. Sonja Smets
3. Alexandru Baltag
4. Barteld P. Kooi
5. Wiebe van der Hoek
6. Hans van Ditmarsch
7. Jan van Eijck

Citations in the corpus

• Logics of communication and change (2006, methodology): “As we explained, systems of this general sort were proposed in [1,2], but without reduction axioms for common knowledge.”
• Dynamic Epistemic Logic (2007, methodology): “As we explained, systems of this general sort were proposed in [1,2], but without reduction axioms for common knowledge.”
• A qualitative theory of dynamic interactive belief revision (2008, methodology): “The idea of such an extension was first developed in [2] (for a different notion of plausibility model and a different notion of update product), then generalized in [24], where many types of action plausibility models and notions of update product, that extend the so-called Baltag-Moss-Solecki (BMS”