A non-classical logical approach to social software
Book chapter
Baskent, C. 2017. A non-classical logical approach to social software. in: Baskent, C., Moss, L. and Ramanujam, R. (ed.) Rohit Parikh on Logic, Language and Society Springer.
Chapter title | A non-classical logical approach to social software |
---|---|
Authors | Baskent, C. |
Abstract | 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. |
Research Group | Foundations of Computing group |
Book title | Rohit Parikh on Logic, Language and Society |
Editors | Baskent, C., Moss, L. and Ramanujam, R. |
Publisher | Springer |
Series | Outstanding Contributions to Logic |
ISBN | |
Hardcover | 9783319478425 |
Paperback | 9783319838380 |
Electronic | 9783319478432 |
Publication dates | |
Online | 02 Mar 2017 |
10 Mar 2017 | |
Publication process dates | |
Deposited | 16 Sep 2022 |
Accepted | 03 Jun 2016 |
Output status | Published |
Digital Object Identifier (DOI) | https://doi.org/10.1007/978-3-319-47843-2_6 |
Language | English |
Permalink -
https://repository.mdx.ac.uk/item/89z97
38
total views0
total downloads2
views this month0
downloads this month