Distributed knowledge

Distributed knowledge. Roelofsen, F. Journal of Applied Non-Classical Logic, 17(2):255-273, 2007.

This paper provides a complete characterization of epistemic models in which distributed knowledge complies with the principle of full communication (van der Hoek et al., 1999; Gerbrandy, 1999). It also introduces an extended notion of bisimulation and corresponding model comparison games that match the expressive power of distributed knowledge operators.

@article{Roelofsen:07,
	abstract = {This paper provides a complete characterization of epistemic models in which distributed knowledge complies with the principle of full communication (van der Hoek et al., 1999; Gerbrandy, 1999). It also introduces an extended notion of bisimulation and corresponding model comparison games that match the expressive power of distributed knowledge operators.},
	author = {Roelofsen, Floris},
	date-added = {2019-05-08 17:04:52 +0200},
	date-modified = {2019-05-09 09:58:30 +0200},
	doi = {10.3166/jancl.17.255-273},
	journal = {Journal of Applied Non-Classical Logic},
	keywords = {philosophical logic,epistemic logic,distributed knowledge;artificial intelligence},
	number = {2},
	pages = {255-273},
	title = {Distributed knowledge},
	url = {https://www.tandfonline.com/doi/abs/10.3166/jancl.17.255-273},
	volume = {17},
	year = {2007},
	Bdsk-Url-1 = {https://www.tandfonline.com/doi/abs/10.3166/jancl.17.255-273},
	Bdsk-Url-2 = {https://doi.org/10.3166/jancl.17.255-273}}

Downloads: 4