scientific article

zbMath1483.68202arXiv1709.02105MaRDI QIDQ3384175

Raúl Pardo, Gerardo Schneider

Publication date: 14 December 2021

Full work available at URL: https://arxiv.org/abs/1709.02105

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Social networks; opinion dynamics (91D30) Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (2)

Social bot detection as a temporal logic model checking problem ⋮ Unnamed Item

Uses Software

• MCMAS

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A logic for diffusion in social networks
• Formalising privacy policies in social networks
• Complex Networks
• Computer Aided Verification

This page was built for publication: