Computation as social agency: what, how and who

DOI10.1016/j.ic.2017.09.009zbMath1395.68119OpenAlexW2754912406MaRDI QIDQ1641025

J. F. A. K. van Benthem

Publication date: 14 June 2018

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: http://dare.uva.nl/personal/pure/en/publications/computation-as-social-agency-what-how-and-who(623c5dba-d321-44a9-9973-93f2daf0e520).html

zbMATH Keywords

logiccomputationgamificationepistemization

Mathematics Subject Classification ID

Social networks; opinion dynamics (91D30) Applications of game theory (91A80) Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) General topics in the theory of computing (68Q01)

Cites Work

• What will they say? -- Public announcement games
• Reasoning about preference dynamics.
• Dynamic logics of evidence-based beliefs
• Logics of communication and change
• Models of strategic reasoning. Logics, games, and communities
• Dynamic epistemic logic
• Merging frameworks for interaction
• The complexity of reasoning about knowledge and time. I: Lower bounds
• A knowledge based semantics of messages
• Justification, coherence and knowledge
• A propositional dynamic logic for instantial neighborhood models
• On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games
• Automata, logics, and infinite games. A guide to current research
• Social software
• Handbook of philosophical logic. Vol. 14
• Iterated Boolean games
• Automata and fixed point logic: a coalgebraic perspective
• The logic of knowledge based obligation
• Logical dynamics of belief change in the community
• The undecidability of iterated modal relativization
• Intention is choice with commitment
• The Language of Game Theory
• Epistemic planning for single- and multi-agent systems
• The Logic of Public Announcements, Common Knowledge, and Private Suspicions
• DEL Planning and Some Tractable Cases
• A Dynamic Analysis of Interactive Rationality
• The Evolution of Cooperation
• Logical Dynamics of Information and Interaction
• Sabotage Modal Logic: Some Model and Proof Theoretic Aspects
• A Logic of Knowing How
• ERRATUM: "RATIONAL DYNAMICS AND EPISTEMIC LOGIC IN GAMES"
• Petri Nets, Discrete Physics, and Distributed Quantum Computation
• Multiagent Systems
• Toward a Dynamic Logic of Questions
• Evolutionary Games and Population Dynamics
• The dynamic logic of permission
• FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
• When are Two Arguments the Same? Equivalence in Abstract Argumentation
• Logic and Complexity in Cognitive Science
• FROM CLASSICAL TO EPISTEMIC GAME THEORY
• Definability in the monadic second-order theory of successor
• Mechanizing Mathematical Reasoning
• On Computable Numbers, with an Application to the Entscheidungsproblem
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item