The language of social software

DOI10.1007/S11229-010-9766-7MaRDI QIDQ625718zbMATH OpenOpenAlexFDO

Authors Jan van Eijck

Publication date 25 February 2011

Published in Synthese (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial 4.0 International

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

zbMATH Keywords

epistemic logicdynamic logicprotocol analysisnatural language analysis

Mathematics Subject Classification ID

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

Recommendations

• Social software
• A non-classical logical approach to social software
• scientific article; zbMATH DE number 5987883
• scientific article; zbMATH DE number 3878324
• scientific article; zbMATH DE number 1929220

Cites work

• scientific article; zbMATH DE number 6058048 (Why is no real title available?)
• scientific article; zbMATH DE number 3869303 (Why is no real title available?)
• scientific article; zbMATH DE number 5734950 (Why is no real title available?)
• scientific article; zbMATH DE number 1234106 (Why is no real title available?)
• scientific article; zbMATH DE number 549968 (Why is no real title available?)
• An elementary proof of the completeness of PDL
• Computational semantics with functional programming
• Dynamic epistemic logic
• Dynamic logic of preference upgrade
• Logics of communication and change
• Merging frameworks for interaction
• Multi-agent belief revision with linked preferences
• Propositional Dynamic Logic as a Logic of Belief Revision
• Semantic results for ontic and epistemic change
• Social software
• The logic of public announcements, common knowledge, and private suspicions
• The temporal semantics of concurrent programs

Cited in

(4)

• A non-classical logical approach to social software
• scientific article; zbMATH DE number 5987883 (Why is no real title available?)
• scientific article; zbMATH DE number 1973148 (Why is no real title available?)
• Social software

Describes a project that uses

Uses Software

• Haskell
• DEMO

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q625718)