The language of social software

DOI10.1007/s11229-010-9766-7zbMath1214.03021OpenAlexW2120316533MaRDI QIDQ625718

Jan van Eijck

Publication date: 25 February 2011

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11229-010-9766-7

zbMATH Keywords

dynamic logicepistemic logicprotocol analysisnatural language analysis

Mathematics Subject Classification ID

Logic of natural languages (03B65) Linguistics (91F20)

Uses Software

• Haskell
• DEMO

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Logics of communication and change
• Dynamic epistemic logic
• Merging frameworks for interaction
• The temporal semantics of concurrent programs
• An elementary proof of the completeness of PDL
• Social software
• The Logic of Public Announcements, Common Knowledge, and Private Suspicions
• Propositional Dynamic Logic as a Logic of Belief Revision
• Multi-agent Belief Revision with Linked Preferences
• Dynamic logic of preference upgrade
• Computational Semantics with Functional Programming

This page was built for publication: The language of social software