Notes to Formal Approaches to Social Procedures

1. “Social software” is also used as a name for smartphone communication applications like MSN Messenger, Twitter, and Skype. This is not what this entry is about. And what is sometimes called “social software engineering” is again something different: it is a name for the subdiscipline of software engineering that studies its aspect of social interaction.

2. Parikh (2002) notes:

Another property which holds is that if \(F(m, k + 1)\) is true then it can be true that after the action \(c\), of cutting a slice from the cake, the remaining main part is big enough for \(k\) people and the slice itself is big enough for one. Note the contrast, that the action \(r\) preserves \(F(m, k)\) regardless of how \(r\) is performed whereas the action \(c\), of cutting the cake, may yield the desired outcome but need not.

Copyright © 2014 by
Jan van Eijck <>
Rineke (L.C.) Verbrugge <>

Open access to the SEP is made possible by a world-wide funding initiative.
The Encyclopedia Now Needs Your Support
Please Read How You Can Help Keep the Encyclopedia Free