Corpus ID: 27367678

Epistemic dynamics and protocol information

@inproceedings{Benthem2009EpistemicDA,
  title={Epistemic dynamics and protocol information},
  author={J. Benthem and T. Hoshi},
  year={2009}
}
Mathematical representation of knowledge and belief has become a topic of increasing interest. An individual knows or believes certain things based on the information she has. What type of mathematical models can we use for precise representations of her information, knowledge or beliefs? When an individual's environment involves other individuals, she may know what others know, and such knowledge depends on the knowledge that others have. How can we represent the relations between her… Expand
56 Citations
Hidden protocols: Modifying our expectations in an evolving world
Dynamic logics of knowledge and access
Dynamic Logics of Belief Change
Procedural Information and the Dynamics of Belief
Logics of temporal-epistemic actions
Merging Frameworks for Interaction
Epistemic Modelling and Protocol Dynamics
Games and Actions
Logical Dynamics of Information and Interaction
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 88 REFERENCES
Merging Observation and Access in Dynamic Logic
Belief, Awareness, and Limited Reasoning.
Epistemic Logic for Rule-Based Agents
  • M. Jago
  • Mathematics, Computer Science
  • J. Log. Lang. Inf.
  • 2009
Logics of communication and change
Logics for resource-bounded agents
Reasoning about knowledge
Merging Frameworks for Interaction
The Logic of Public Announcements and Common Knowledge and Private Suspicions
...
1
2
3
4
5
...