Projects per year
The term social software was coined by Rohit Parikh in 2002. Social software can be viewed as a research program which studies the construction and verification of social procedures by using tools in logic and computer science. However, to the best of my knowledge, social software has not been considered from a non-classical logical perspective. In this paper, I argue how non-classical logical approaches can enrich, broaden and support the agenda of social software.
|Title of host publication||Rohit Parikh on Logic, Language and Society|
|Place of Publication||Cham|
|Publication status||Published - 2 Mar 2017|
|Name||Outstanding Contributions to Logic|
FingerprintDive into the research topics of 'A Non-classical Logical Approach to Social Software'. Together they form a unique fingerprint.
- 1 Finished
McCusker, G. & Ioannidis, C.
1/11/13 → 30/04/18
Project: Research council