Social software

DOI10.1023/A:1020391420768zbMath1036.91048MaRDI QIDQ1868177

Rohit Parikh

Publication date: 27 April 2003

Published in: Synthese (Search for Journal in Brave)

zbMATH Keywords

social softwaresocial procedures

Mathematics Subject Classification ID

General applied mathematics (00A69) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Mathematical sociology (including anthropology) (91D99) Other applications of logic (03B80)

Related Items (20)

On the use (and abuse) of logic in game theory ⋮ Computation as social agency: what, how and who ⋮ Society semantics and the logic way to collective intelligence ⋮ The language of social software ⋮ Agency and Interaction What We Are and What We Do in Formal Epistemology ⋮ Rule-following as coordination: a game-theoretic approach ⋮ Can strategizing in round-robin subtournaments be avoided? ⋮ Parikh and Wittgenstein ⋮ What is Money? ⋮ Focusing on Campaigns ⋮ A Non-classical Logical Approach to Social Software ⋮ THE POWER OF KNOWLEDGE IN GAMES ⋮ Some comments on history based structures ⋮ QUANTIFIED LOGIC OF AWARENESS AND IMPOSSIBLE POSSIBLE WORLDS ⋮ Finite information logic ⋮ The logic of knowledge based obligation ⋮ Knowledge, Games and Tales from the East ⋮ A rational way of playing: revision theory for strategic interaction ⋮ Model Checking Strategic Equilibria ⋮ Intentions and interactive transformations of decision problems

This page was built for publication: Social software