A Non-classical Logical Approach to Social Software

Can Baskent

doi:10.1007/978-3-319-47843-2_6

A Non-classical Logical Approach to Social Software

Can Baskent

Department of Computer Science

Research output: Chapter or section in a book/report/conference proceeding › Chapter or section

1 Citation (SciVal)

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.

Original language	English
Title of host publication	Rohit Parikh on Logic, Language and Society
Place of Publication	Cham
Publisher	Springer
Pages	91-109
Volume	11
ISBN (Electronic)	978-3-319-47843-2
ISBN (Print)	978-3-319-47842-5
DOIs	https://doi.org/10.1007/978-3-319-47843-2_6
Publication status	Published - 2 Mar 2017

Publication series

Name	Outstanding Contributions to Logic
Publisher	Springer
Volume	11

Access to Document

10.1007/978-3-319-47843-2_6

ALPUIS
McCusker, G. & Ioannidis, C.
Engineering and Physical Sciences Research Council
1/11/13 → 30/04/18
Project: Research council

Cite this

@inbook{1b1304c0c9584c1eaa35bee28f5f0591,

title = "A Non-classical Logical Approach to Social Software",

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.",

author = "Can Baskent",

year = "2017",

month = mar,

day = "2",

doi = "10.1007/978-3-319-47843-2_6",

language = "English",

isbn = "978-3-319-47842-5",

volume = "11",

series = "Outstanding Contributions to Logic",

publisher = "Springer",

pages = "91--109",

booktitle = "Rohit Parikh on Logic, Language and Society",

}

TY - CHAP

T1 - A Non-classical Logical Approach to Social Software

AU - Baskent, Can

PY - 2017/3/2

Y1 - 2017/3/2

N2 - 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.

AB - 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.

U2 - 10.1007/978-3-319-47843-2_6

DO - 10.1007/978-3-319-47843-2_6

M3 - Chapter or section

SN - 978-3-319-47842-5

VL - 11

T3 - Outstanding Contributions to Logic

SP - 91

EP - 109

BT - Rohit Parikh on Logic, Language and Society

PB - Springer

CY - Cham

ER -

A Non-classical Logical Approach to Social Software

Abstract

Publication series

Access to Document

Fingerprint

Projects

ALPUIS

Cite this