The Common Knowledge of Formula Exclusion

Details The Common Knowledge of Formula Exclusion The Common Knowledge of Formula Exclusion

2011-10-11

arxiv.org/abs/1110.2457v1

Mathematics

Logic

Scientific paper

For every set of primitive propositions and agents there is a canonical Kripke structure and a canonical map from any Kripke structure (defined with the same primitive propositions and agents) to this canonical one. A cell of the canonical Kripke structure is a set C such that if any agent considers a point x in C to be possible then all the other points considered possible by this agent are also in C. A cell C has finite fanout if at every point in C every agent considers possible only finitely many other points. We demonstrate a cell of this canonical Kripke structure such that every Kripke structure that maps to this cell does so surjectively, yet this cell does not have finite fanout.

Affiliated with

Also associated with

No associations

Rating

The Common Knowledge of Formula Exclusion does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with The Common Knowledge of Formula Exclusion, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and The Common Knowledge of Formula Exclusion will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-472486