Communication between agents in dynamic epistemic logic
Velázquez-Quesada, Fernando R.
–arXiv.org Artificial Intelligence
This manuscript studies actions of communication between epistemic logic agents. It starts by looking into actions through which all/some agents share all their information, defining the model operation that transforms the model, discussing its properties, introducing a modality for describing it and providing an axiom system for the latter. The main part of the manuscript focuses on an action through which some agents share part of their information: they share all that they know about a topic defined by a given formula. Once again, the manuscript defines the model operation that transforms the model, discusses its properties, introduces a modality for describing it and provides an axiom system for the latter.
arXiv.org Artificial Intelligence
Oct-10-2022
- Country:
- North America
- United States
- Tennessee (0.04)
- New York
- New York County > New York City (0.04)
- Tompkins County > Ithaca (0.04)
- Massachusetts > Middlesex County
- Cambridge (0.14)
- California
- San Francisco County > San Francisco (0.14)
- Los Angeles County > Los Angeles (0.14)
- Santa Clara County > Palo Alto (0.04)
- Mexico > Puebla
- Puebla (0.04)
- United States
- Europe
- United Kingdom > England
- Cambridgeshire > Cambridge (0.04)
- Merseyside > Liverpool (0.04)
- Greater London > London (0.04)
- Spain > Valencian Community
- Alicante Province > Alicante (0.04)
- Netherlands
- North Holland > Amsterdam (0.04)
- South Holland > Dordrecht (0.04)
- France > Provence-Alpes-Côte d'Azur
- Alpes-Maritimes > Nice (0.04)
- United Kingdom > England
- Asia
- North America
- Genre:
- Research Report (0.64)
- Technology: