Dynamic term-modal logic for epistemic social network dynamics

DOI10.1007/978-3-662-60292-8_13MaRDI QIDQ2291235zbMATH OpenOpenAlexFDO

Authors Andrés Occhipinti Liberman, Rasmus K. Rendsvig

Publication date 30 January 2020

Full work available at URL https://arxiv.org/abs/1908.09658, https://orbit.dtu.dk/en/publications/8e2c310c-eef6-4630-84a5-62508b1c33b8

zbMATH Keywords

social networksdynamic epistemic logicterm-modal logic

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• Reasoning about epistemic social network dynamics using dynamic term-modal logic
• Change in social networks: Some dynamic extensions of Social Epistemic Logic
• A logic for diffusion in social networks
• Dynamic epistemic logics of diffusion and prediction in social networks
• Dynamic epistemic logics

Cited in

(7)

• \textit{De re} updates
• Dynamic epistemic logics of diffusion and prediction in social networks
• Reasoning about epistemic social network dynamics using dynamic term-modal logic
• Visibility and exploitation in social networks
• Quantifier-free epistemic term-modal logic with assignment operator
• Dynamic term-modal logics for first-order epistemic planning
• Change in social networks: Some dynamic extensions of Social Epistemic Logic

This page was built for publication: Dynamic term-modal logic for epistemic social network dynamics

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